Re: [PATCH][genrecog] Fix warning about potentially uninitialised use of label

2016-05-04 Thread Jeff Law
On 05/03/2016 10:28 AM, Kyrill Tkachov wrote: After experimenting a bit, I note that the warning goes away when I compile with -O2. In the cross compiler build I'm doing genrecog.c is compiler with -O1, which exhibits the warning. So I suppose DOM/VRP does catch, but only at the appropriate optim

Re: [PATCH][genrecog] Fix warning about potentially uninitialised use of label

2016-05-03 Thread Kyrill Tkachov
On 02/05/16 16:15, Jeff Law wrote: On 05/02/2016 03:47 AM, Richard Sandiford wrote: Kyrill Tkachov writes: Hi all, I'm getting a warning when building genrecog that 'label' may be used uninitialised in: uint64_t label = 0; if (d->test.kind == rtx_test::CODE && d->if_st

Re: [PATCH][genrecog] Fix warning about potentially uninitialised use of label

2016-05-02 Thread Jeff Law
On 05/02/2016 03:47 AM, Richard Sandiford wrote: Kyrill Tkachov writes: Hi all, I'm getting a warning when building genrecog that 'label' may be used uninitialised in: uint64_t label = 0; if (d->test.kind == rtx_test::CODE && d->if_statement_p (&label) && label ==

Re: [PATCH][genrecog] Fix warning about potentially uninitialised use of label

2016-05-02 Thread Richard Sandiford
Kyrill Tkachov writes: > Hi all, > > I'm getting a warning when building genrecog that 'label' may be used > uninitialised in: > >uint64_t label = 0; > >if (d->test.kind == rtx_test::CODE >&& d->if_statement_p (&label) >&& label == CONST_INT) > > This is because if_

[PATCH][genrecog] Fix warning about potentially uninitialised use of label

2016-04-29 Thread Kyrill Tkachov
Hi all, I'm getting a warning when building genrecog that 'label' may be used uninitialised in: uint64_t label = 0; if (d->test.kind == rtx_test::CODE && d->if_statement_p (&label) && label == CONST_INT) This is because if_statement_p looks like this: inline bool dec