Re: i * i is nonnegative

2013-03-19 Thread Marc Glisse
On Tue, 19 Mar 2013, Jeff Law wrote: On 03/19/2013 10:08 AM, Marc Glisse wrote: Hello, this patch extends the property that x*x is non-negative, which was already known for floats, to integers with undefined overflow. 2013-03-19 Marc Glisse PR tree-optimization/56355 gcc/ * fold

Re: i * i is nonnegative

2013-03-19 Thread Jeff Law
On 03/19/2013 10:08 AM, Marc Glisse wrote: Hello, this patch extends the property that x*x is non-negative, which was already known for floats, to integers with undefined overflow. 2013-03-19 Marc Glisse PR tree-optimization/56355 gcc/ * fold-const.c (tree_binary_nonnegative_warnv