http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50082
--- Comment #5 from iant at google dot com <iant at google dot com> 2011-08-15 19:39:08 UTC --- "rguenth at gcc dot gnu.org" <gcc-bugzi...@gcc.gnu.org> writes: > I suppose the forwprop code wants to force a warning at -Wstrict-overflow=1 > if the conditional becomes optimized to a constant at compile-time? Yes. But perhaps it is overly aggressive--are these conditionals being optimized to a constant? Maybe the condition for the first argument to fold_undefer_overflow_warnings needs to be fixed.