Re: changing "configure" to default to "gcc -g -O2 -fwrapv ..."

[Richard Kenner]

> On the other hand, C does not have a way to tell the compiler:
> 
>     "this is my loop variable, it must not be modified inside the loop"
> 
> neither you can say:
> 
>     "this is the upper bound of the loop, it must not be modified"
> 
> either.

No, but the compiler can almost always trivially determine that nothing in
the loop can modify the variable, so I'm not sure I understand your point.