设有程序段： int k=12; while(k=1)k=k-1; 则下列描述中正确的是( )。