Files @ a6f53f74e58c
Branch filter:

Location: CSY/reowolf/testdata/parser/negative/22.pdl

Christopher Esterhuyse
fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent
#version 100

int main(int a) {
dupl:
	while (a >= 2) {
		a -= 2;
dupl:	while (a < 10) {
			a++;
			if (a % 5 == 0)
				break dupl;
		}
	}
	goto dupl;
}