R.6.5.2 Оператор do

В операторе do вложенный оператор выполняется до тех пор,

пока значение выражения не станет равным нулю. Проверка происходит

после каждого выполнения оператора.

Выражение должно быть арифметического типа, или типа указателя,

или типа класс, для которого существует однозначное преобразование

в арифметический тип или тип указателя ($$R.12.3).