Bug 38435

It is following little loop:

-----------------------------

#include<stdio.h>
#include<stdbool.h>

int m,a,n;              /* m and n are reserved for later; a is for counting */

int main(void)
{
for (a=0;a<=32;a++)
{
man=true;
}

return(0);


}

--------------------------

Now, the thing is, this loop is wrong, because of 'man=true;'
it is ending in a neverending-loop.

This concerns every loop ( if, switch, do ... until, etc.) in C ...

Is there no algorithm, which can do it, that 'man=true'
is not ending in a neverending loop ???

'a' in 'man' should count - m and n are reserved for else calculations.
every counting step should be set as 'true'. Why does this not work ???

For feedback thank you.
greetings
Val.