New gcc 4.0.0 warnings seem spurious

[Gabriel Dos Reis]

Vincent Lefevre <vincent+gcc@vinc17.org> writes:

[...]

| >  > But if they are never modified, they evaluate to constants, right?
| >  > 
| >  > The fact that they are not considered as constant expressions,
| >  > is it due to the fact that the environment is allowed to modify
| >  > them?
| > 
| > It's due to what the C standard says.  A const variable in C isn't a
| > constant, it's just a read-only variable.
| 
| 1+1 isn't a constant either

It is an integer constant expression, and its evaluation yields a
constant (see 6.6).  Can you explain why you believe that is false?

-- Gaby