This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings
- From: Christophe Lyon <christophe dot lyon at linaro dot org>
- To: Vladislav Ivanishin <vlad at ispras dot ru>
- Cc: gcc Patches <gcc-patches at gcc dot gnu dot org>, Richard Biener <richard dot guenther at gmail dot com>
- Date: Wed, 22 May 2019 10:24:21 +0200
- Subject: Re: [PATCH] tree-ssa-uninit: suppress more spurious warnings
- References: <87v9y9ebyz.fsf@ispras.ru>
On Fri, 17 May 2019 at 10:12, Vladislav Ivanishin <vlad@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
Christophe
> Also, Richard, would you mind being a sponsor for my svn account?
>
> [1]: https://gcc.gnu.org/ml/gcc-patches/2019-05/msg00896.html
>
>
> --
> Vlad