https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58926
Ian Mallett <ian at geometrian dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ian at geometrian dot com
--- Comment #2 from Ian Mallett <ian at geometrian dot com> ---
Note that for this second example, the warning seems expected since there is no
way to provide that `foobar(...)` wouldn't be called with e.g. `INT_MAX`, which
would indeed cause a signed overflow (which would break the optimization, since
the function would then be "expected" to return `true`).
