[Bug tree-optimization/95423] Failure to optimize separated multiplications by x and square of x

[joseph at codesourcery dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95423

--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
On Fri, 29 May 2020, pinskia at gcc dot gnu.org wrote:

> Could there be overflows which don't happen originally?

Yes.  Say a == INT_MIN, x == -1, b == 0, for example.  (This 
transformation can also remove overflows.)