https://gcc.gnu.org/bugzilla/show_bug.cgi?id=56281
Eric Gallager <egallager at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |egallager at gcc dot gnu.org
See Also| |https://gcc.gnu.org/bugzill
| |a/show_bug.cgi?id=31178
--- Comment #4 from Eric Gallager <egallager at gcc dot gnu.org> ---
(In reply to Vincent Lefèvre from comment #3)
> Not the same request. Bug 31178 (VRP can infer a range for b in a >> b and a
> << b) is about a range for the second operand b (independent from the value
> of the first operand, BTW). Here it is a range for the first operand and the
> result. This is quite different due to the asymmetry of shift operators.
>
> Concerning existing code, there was also much code assuming wrapping in case
> of integer overflow for +. Code needs to be fixed or should not be compiled
> with options like -std=c99.
well even if it isn't a duplicate I'd say it's still at least related enough to
go under "See Also"
