From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 68C4E3948A51; Wed, 14 Apr 2021 16:15:21 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 68C4E3948A51
From: "msebor at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug testsuite/100073] [11 regression] test case gcc.dg/pr86058.c
 fails after r11-8161
Date: Wed, 14 Apr 2021 16:15:21 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: testsuite
X-Bugzilla-Version: 11.0
X-Bugzilla-Keywords: diagnostic
X-Bugzilla-Severity: normal
X-Bugzilla-Who: msebor at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: msebor at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cf_reconfirmed_on assigned_to bug_status
 everconfirmed
Message-ID: <bug-100073-4-Kks3iAeFWZ@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-100073-4@http.gcc.gnu.org/bugzilla/>
References: <bug-100073-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Wed, 14 Apr 2021 16:15:21 -0000

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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-04-14
           Assignee|unassigned at gcc dot gnu.org      |msebor at gcc dot g=
nu.org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #2 from Martin Sebor <msebor at gcc dot gnu.org> ---
Looks like powerpc64 doesn't warn for the code, and apparently neither does
aarch64 with -mabi=3Dilp32, due to what seems like a limitation in the unin=
it
pass which sees this IL:

  <bb 3> [local count: 105119324]:
  doloop.6_16 =3D (unsigned int) indx_9(D);
  ivtmp.9_22 =3D (unsigned long) &MEM <int[10]> [(void *)&arr + -4B];   <<<
&arr[-1]
  _27 =3D out_11(D) + 18446744073709551612;
  ivtmp.11_26 =3D (unsigned long) _27;

  <bb 4> [local count: 955630225]:
  # doloop.6_20 =3D PHI <doloop.6_17(6), doloop.6_16(3)>
  # ivtmp.9_7 =3D PHI <ivtmp.9_6(6), ivtmp.9_22(3)>         <<< ivtmp.9_22(=
3)
points to arr[-1]
  # ivtmp.11_24 =3D PHI <ivtmp.11_25(6), ivtmp.11_26(3)>
  ivtmp.9_6 =3D ivtmp.9_7 + 4;                              <<< &arr[0]
  _28 =3D (void *) ivtmp.9_6;
  _1 =3D MEM[(int *)_28];                                   <<< uninitializ=
ed
read, no warning=