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