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

2016-03-31 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23471 Richard Biener changed: What|Removed |Added CC||rguenth at gcc dot gnu.org --- Comment

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

2016-03-31 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23471 --- Comment #4 from Richard Biener --- (In reply to Marc Glisse from comment #3) > The case a*a has been handled for a while, both in fold-const.c > (tree_binary_nonnegative_warnv_p) and in VRP. However, the case a*a*a*a*a*a > is not handled. In

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

2016-03-31 Thread glisse at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=23471 --- Comment #3 from Marc Glisse --- The case a*a has been handled for a while, both in fold-const.c (tree_binary_nonnegative_warnv_p) and in VRP. However, the case a*a*a*a*a*a is not handled. In the .optimized dump at -O3, we still have: b_3 =

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

2006-02-28 Thread pinskia at gcc dot gnu dot org
--- Comment #2 from pinskia at gcc dot gnu dot org 2006-03-01 02:54 --- b_3 = a_1 * a_1; b_3: VARYING -- pinskia at gcc dot gnu dot org changed: What|Removed |Added L

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

2005-08-31 Thread pinskia at gcc dot gnu dot org
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-08-31 16:07 --- Confirmed. -- What|Removed |Added Status|UNCONFIRMED |NEW E