[Bug testsuite/101902] New: [12 regression] g++.dg/warn/uninit-1.C has excess errors after r12-2898

[Bug testsuite/101902] New: [12 regression] g++.dg/warn/uninit-1.C has excess errors after r12-2898

[seurer at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101902

            Bug ID: 101902
           Summary: [12 regression] g++.dg/warn/uninit-1.C has excess
                    errors after r12-2898
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: testsuite
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

g:4341b1b165751e728692eec12405fc04b2c681aa, r12-2898
make  -k check-gcc RUNTESTFLAGS="dg.exp=g++.dg/warn/uninit-1.C"
FAIL: g++.dg/warn/uninit-1.C  -std=gnu++98 (test for excess errors)
FAIL: g++.dg/warn/uninit-1.C  -std=gnu++14 (test for excess errors)
FAIL: g++.dg/warn/uninit-1.C  -std=gnu++17 (test for excess errors)
FAIL: g++.dg/warn/uninit-1.C  -std=gnu++2a (test for excess errors)
# of unexpected failures        4


/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/warn/uninit-1.C
-fdiagnostics-plain-output -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include/powerpc64le-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-std=gnu++98 -O2 -Wmaybe-uninitialized -S -o uninit-1.s
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/warn/uninit-1.C: In function
'void test()':
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/warn/uninit-1.C:15:10:
warning: 'ptr' may be used uninitialized [-Wmaybe-uninitialized]
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/warn/uninit-1.C:6:1: note:
by argument 1 of type 'const a*' to 'void nowarn(const a*)' declared here
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/warn/uninit-1.C:14:12: note:
'ptr' declared here
Executing on host:
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
exceptions_enabled2980187.cc    -fdiagnostics-plain-output  -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include/powerpc64le-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0 
-S -o exceptions_enabled2980187.s    (timeout = 300)
spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-test/gcc/testsuite/g++/../../
exceptions_enabled2980187.cc -fdiagnostics-plain-output -nostdinc++
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include/powerpc64le-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-test/libstdc++-v3/testsuite/util -fmessage-length=0
-S -o exceptions_enabled2980187.s
FAIL: g++.dg/warn/uninit-1.C  -std=gnu++98 (test for excess errors)
Excess errors:
/home/seurer/gcc/git/gcc-test/gcc/testsuite/g++.dg/warn/uninit-1.C:15:10:
warning: 'ptr' may be used uninitialized [-Wmaybe-uninitialized]


commit 4341b1b165751e728692eec12405fc04b2c681aa (HEAD)
Author: Jan Hubicka <jh@suse.cz>
Date:   Fri Aug 13 10:04:52 2021 +0200

    Introduce EAF_NOREAD and cleanup EAF_UNUSED + ipa-modref

[Bug testsuite/101902] [12 regression] g++.dg/warn/uninit-1.C has excess errors after r12-2898

[hubicka at ucw dot cz]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101902

--- Comment #1 from Jan Hubicka <hubicka at ucw dot cz> ---
Hi,
i am testing

diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c
index 5d7bc800419..d89ab5423cd 100644
--- a/gcc/tree-ssa-uninit.c
+++ b/gcc/tree-ssa-uninit.c
@@ -641,7 +641,7 @@ maybe_warn_pass_by_reference (gcall *stmt, wlimits &wlims)
        wlims.always_executed = false;

       /* Ignore args we are not going to read from.  */
-      if (gimple_call_arg_flags (stmt, argno - 1) & EAF_UNUSED)
+      if (gimple_call_arg_flags (stmt, argno - 1) & (EAF_UNUSED | EAF_NOREAD))
        continue;

       tree arg = gimple_call_arg (stmt, argno - 1);

[Bug testsuite/101902] [12 regression] g++.dg/warn/uninit-1.C has excess errors after r12-2898

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101902

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-08-16

[Bug testsuite/101902] [12 regression] g++.dg/warn/uninit-1.C has excess errors after r12-2898

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101902

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

[Bug testsuite/101902] [12 regression] g++.dg/warn/uninit-1.C has excess errors after r12-2898

[hp at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101902

Hans-Peter Nilsson <hp at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #2 from Hans-Peter Nilsson <hp at gcc dot gnu.org> ---
(In reply to Jan Hubicka from comment #1)
> Hi,
> i am testing
> 
> diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c
> index 5d7bc800419..d89ab5423cd 100644
> --- a/gcc/tree-ssa-uninit.c
> +++ b/gcc/tree-ssa-uninit.c
> @@ -641,7 +641,7 @@ maybe_warn_pass_by_reference (gcall *stmt, wlimits
> &wlims)
>  	wlims.always_executed = false;
>  
>        /* Ignore args we are not going to read from.  */
> -      if (gimple_call_arg_flags (stmt, argno - 1) & EAF_UNUSED)
> +      if (gimple_call_arg_flags (stmt, argno - 1) & (EAF_UNUSED |
> EAF_NOREAD))
>  	continue;
>  
>        tree arg = gimple_call_arg (stmt, argno - 1);

Looks like Jan committed this as e12946df34c997e96c3bc7eb5a0247e889ddb7ea but
forgot to mark the commit-log.  I'm closing this.