以下程序段的输出结果是intx=;do{printf(“%d”，x=);}while(!(–x));