// PARAM: --disable ana.int.interval --disable ana.int.def_exc --enable ana.int.enums
void main(){
    int n = 1;
    for (; n; n++) { // fixed point not reached here
	}
	return;
}
Add failing test case for enums
Add failing test case for enums
