Re: Computer architects leaving Intel...

Kent Dickey <kegs@provalid.com> schrieb:

When you write code working on signed numbers and do something like:
>
(a < 0) || (a >= max)
>
Then the compiler realizes if you treat 'a' as unsigned, this is just:
>
(unsigned)a >= max

For which definition of a and max exactly?

It coertainly does not do so for

_Bool foo(int a, int max)
{
    return (a < 0) || (a >= max);
}