On 08/09/18 14:18, Julian Orth wrote:
> Even with clang's -Weverything I don't get a warning when I compile the
> following:
> 
> #include <stdint.h>
> 
> int f(unsigned int i);
> 
> int f(unsigned int i)
> {
>     return i <= UINT32_MAX;
> }

Interesting... I don't either (gcc 8, clang 8). Perhaps I've been
spending too much time reading PVS-Studio reports.

Still, the condition will always be true; sizeof(unsigned long) is
sizeof(uint32_t) in this case.