[Bug tree-optimization/23471] a*a (for signed ints with -fno-wrapv) is always postive

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #7 from Drea Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Drea Pinski from comment #6)
> So EVRP gives the correct range:
> 
>   # RANGE [irange] int [0, +INF] MASK 0xfffffffd VALUE 0x0
>   t_3 = a_2(D) * a_2(D);

Not after r17-992-ga94d2d065efd35 but that is PR 125513 :).