Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-23 Thread Vladislav Ivanishin
Iain Sandoe writes: >> On 22 May 2019, at 16:19, Jeff Law wrote: >> >> On 5/22/19 8:44 AM, Vladislav Ivanishin wrote: >>> Christophe, Rainer, >>> >>> Rainer Orth writes: >>> Hi Christophe, > On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: >> > As you have pr

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-22 Thread Iain Sandoe
> On 22 May 2019, at 16:19, Jeff Law wrote: > > On 5/22/19 8:44 AM, Vladislav Ivanishin wrote: >> Christophe, Rainer, >> >> Rainer Orth writes: >> >>> Hi Christophe, >>> On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: > As you have probably noticed already, the new

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-22 Thread Jeff Law
On 5/22/19 8:44 AM, Vladislav Ivanishin wrote: > Christophe, Rainer, > > Rainer Orth writes: > >> Hi Christophe, >> >>> On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: >>> As you have probably noticed already, the new test uninit-28.c fails: >>> /gcc/testsuite/gcc.dg/uninit-28-gim

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-22 Thread Vladislav Ivanishin
Christophe, Rainer, Rainer Orth writes: > Hi Christophe, > >> On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: >>> >> As you have probably noticed already, the new test uninit-28.c fails: >> /gcc/testsuite/gcc.dg/uninit-28-gimple.c:9:16: warning: 'undef' may be >> used uninitialized in

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-22 Thread Rainer Orth
Rainer Orth writes: >> On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: >>> >>> Hi! >>> >>> Without the patch, two of the newly added tests fail with bogus warnings: >>> >>> - gcc.dg/uninit-28-gimple.c (Definition guarded with NE_EXPR, use with >>> BIT_AND_EXPR. This is an FP my previ

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-22 Thread Rainer Orth
Hi Christophe, > On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: >> >> Hi! >> >> Without the patch, two of the newly added tests fail with bogus warnings: >> >> - gcc.dg/uninit-28-gimple.c (Definition guarded with NE_EXPR, use with >> BIT_AND_EXPR. This is an FP my previous patch [1]

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-22 Thread Christophe Lyon
On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin wrote: > > Hi! > > Without the patch, two of the newly added tests fail with bogus warnings: > > - gcc.dg/uninit-28-gimple.c (Definition guarded with NE_EXPR, use with > BIT_AND_EXPR. This is an FP my previous patch [1] knowingly > overlooks.)

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-20 Thread Richard Biener
On Fri, May 17, 2019 at 10:12 AM Vladislav Ivanishin wrote: > > Hi! > > Without the patch, two of the newly added tests fail with bogus warnings: > > - gcc.dg/uninit-28-gimple.c (Definition guarded with NE_EXPR, use with > BIT_AND_EXPR. This is an FP my previous patch [1] knowingly > overlook

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-17 Thread Alexander Monakov
On Fri, 17 May 2019, Jeff Law wrote: > So my question is are these showing up in practice? The gimple based > tests seem to be skipping the optimizers that would have eliminated this > stuff. > > In each of the testcases I would have expected jump threading to have > eliminated the problematical

Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-17 Thread Jeff Law
On 5/17/19 2:12 AM, Vladislav Ivanishin wrote: > Hi! > > Without the patch, two of the newly added tests fail with bogus warnings: > > - gcc.dg/uninit-28-gimple.c (Definition guarded with NE_EXPR, use with > BIT_AND_EXPR. This is an FP my previous patch [1] knowingly > overlooks.) > - gcc.dg

[PATCH] tree-ssa-uninit: suppress more spurious warnings

2019-05-17 Thread Vladislav Ivanishin
Hi! Without the patch, two of the newly added tests fail with bogus warnings: - gcc.dg/uninit-28-gimple.c (Definition guarded with NE_EXPR, use with BIT_AND_EXPR. This is an FP my previous patch [1] knowingly overlooks.) - gcc.dg/uninit-30-gimple.c (EQ_EXPR in the predicate guarding use. T