Re: Let tree_single_nonzero_warnv_p use VRP

2017-04-24 Thread Marc Glisse
On Mon, 24 Apr 2017, Martin Sebor wrote: On 04/23/2017 03:38 PM, Marc Glisse wrote: Hello, this patches teaches tree_expr_nonzero_warnv_p to handle SSA_NAME using range information and known (non-)zero bits, by delegating to expr_not_equal_to which already knows how to handle all that. This m

Re: Let tree_single_nonzero_warnv_p use VRP

2017-04-24 Thread Martin Sebor
On 04/23/2017 03:38 PM, Marc Glisse wrote: Hello, this patches teaches tree_expr_nonzero_warnv_p to handle SSA_NAME using range information and known (non-)zero bits, by delegating to expr_not_equal_to which already knows how to handle all that. This makes one strict overflow warning disappear.

Re: Let tree_single_nonzero_warnv_p use VRP

2017-04-24 Thread Richard Biener
On April 24, 2017 2:49:04 PM GMT+02:00, Marc Glisse wrote: >On Mon, 24 Apr 2017, Jakub Jelinek wrote: > >> On Mon, Apr 24, 2017 at 09:41:01AM +0200, Richard Biener wrote: >>> On Sun, Apr 23, 2017 at 11:38 PM, Marc Glisse >wrote: Hello, this patches teaches tree_expr_nonzero_warnv_

Re: Let tree_single_nonzero_warnv_p use VRP

2017-04-24 Thread Marc Glisse
On Mon, 24 Apr 2017, Jakub Jelinek wrote: On Mon, Apr 24, 2017 at 09:41:01AM +0200, Richard Biener wrote: On Sun, Apr 23, 2017 at 11:38 PM, Marc Glisse wrote: Hello, this patches teaches tree_expr_nonzero_warnv_p to handle SSA_NAME using range information and known (non-)zero bits, by delega

Re: Let tree_single_nonzero_warnv_p use VRP

2017-04-24 Thread Jakub Jelinek
On Mon, Apr 24, 2017 at 09:41:01AM +0200, Richard Biener wrote: > On Sun, Apr 23, 2017 at 11:38 PM, Marc Glisse wrote: > > Hello, > > > > this patches teaches tree_expr_nonzero_warnv_p to handle SSA_NAME using > > range information and known (non-)zero bits, by delegating to > > expr_not_equal_to

Re: Let tree_single_nonzero_warnv_p use VRP

2017-04-24 Thread Richard Biener
On Sun, Apr 23, 2017 at 11:38 PM, Marc Glisse wrote: > Hello, > > this patches teaches tree_expr_nonzero_warnv_p to handle SSA_NAME using > range information and known (non-)zero bits, by delegating to > expr_not_equal_to which already knows how to handle all that. > > This makes one strict overfl