------- Comment #11 from mmitchel at gcc dot gnu dot org 2008-07-18 22:52 ------- Paolo --
I agree; that seems the right fix. I don't think this should depend on what the compiler happens to be able to prove about the body of the function; it's way too unstable in the face of optimization, different platforms, etc. Unless the standard gives us some algorithm for computing this, I think we should look at the declaration and nothing more. -- Mark -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36870