ref: e06ce64d6557512a21c46a2dfa864f2e9a08f70b dir: /tests/cc/execute/0209-dowhile.c/
int main(void) { if (1) do { } while(0); else do { } while(0); return 0; }