c2mir - while loop hangs

[dibyendumajumdar]

int printf(const char *s, ...);

int main(void) {
	int i = 10;

	do {
		if (i % 3 == 0)
			continue;
		if (i == 2)
			break;
		printf("%d\n", i);
	} while (i--);
	return 0;
}

Above program hangs - i.e. loop doesn't terminate.

[vnmakarov]

OK. Thank you. I'll check it. Currently I have couple dozens of similar small tests which do not work for C2MIR. I am on very beginning of my C2MIR debugging.

[dibyendumajumdar]

Looks like this is fixed