Hello, I may be wrong, but IIRC it is incorrect to remove infinite loops, as happens currently for example for the following code: int main(void) { unsigned i; for (i = 1; i != 0; i+=2); return 0; } Zdenek