Coccinelle release 0.2.5-rc3

[bpt/coccinelle.git] / tests / dowhile.res

int main() {
  do {
  }
  while (0);
}