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