请问这个程序是死循环吗？

这个程序为什么是死循环呀?
int k=0;
do｛++k;｝while（k>=0）;

因为 do-while 的判断条件，k 永远 >= 0