Hi, I recently found another test case that fails: static int test_do(void) { int a = 0; int count = 27; switch (count % 8) { case 0: do { a++; case 7: a++; case 6: a++; case 5: a++; case 4: a++; case 3: a++; case 2: a++; case 1: a++; } while ((count -= 8) > 0); } if (27 != a) return 1; return 0; } This is a test snippet from 8cc (https://github.com/rui314/8cc) project. Regards Dibyendu -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html