Rainer Orth <r...@cebitec.uni-bielefeld.de> writes:
>> On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin <v...@ispras.ru> 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/uninit-30-gimple.c (EQ_EXPR in the predicate guarding use.
>>> This is what I spotted while refactoring. It never worked, and is
>>> easy to handle).
>>>
>>> Bootstraped with `BOOT_CFLAGS="-O -Wno-error=maybe-uninitialized
>>> -Wuninitialized"` and regtested on x86_64-pc-linux-gnu. OK for trunk?
>>>
>>
>> Hi,
>>
>> 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 this function [-Wmaybe-uninitialized]
>> FAIL: gcc.dg/uninit-28-gimple.c (test for bogus messages, line 9)
>> at least on arm & aarch64
>
> I'm seeing it on sparc-sun-solaris2.11, and there are gcc-testresults
> reports for i?86, mips64el, powerpc*, s390x, and x86_64.
There are a couple more testsuite regressions that are likely fallout
from this patch:
+FAIL: gcc.dg/pr67512.c (test for excess errors)
32 and 64-bit i386-pc-solaris2.11, also on aarch64-unknown-linux-gnu
+FAIL: gcc.dg/uninit-18.c (test for bogus messages, line 13)
32 and 64-bit i386-pc-solaris2.11, also on aarch64-unknown-linux-gnu,
powerpc64le-unknown-linux-gnu
+FAIL: gcc.dg/uninit-pr90394-1-gimple.c (test for warnings, line 9)
32 and 64-bit i386-pc-solaris2.11, also on aarch64-unknown-linux-gnu,
powerpc64le-unknown-linux-gnu, s390x-ibm-linux-gnu
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
