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 9BF9A3857818; Sun, 14 Nov 2021 11:02:35 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9BF9A3857818
From: "marxin at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/103231] [12 Regression] ICE
 (nondeterministic) on valid code at -O1 on x86_64-linux-gnu: Segmentation
 fault since r12-5014-g6b8b959675a3e14c
Date: Sun, 14 Nov 2021 11:02:35 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: marxin at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-103231-4-bRCzeBJ9vT@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-103231-4@http.gcc.gnu.org/bugzilla/>
References: <bug-103231-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: Sun, 14 Nov 2021 11:02:35 -0000

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

--- Comment #5 from Martin Li=C5=A1ka <marxin at gcc dot gnu.org> ---
Simplified test-case:

cat pr103231.c
void BHbHb2l_1912();

int a;
int bs;
long g_1496_BK8K8el_2738;
long fn1_l_1522;
int fn1_l_1708;
int fn1_l_2085;
int fn1_l_2664;
int fn1_bv;
int fn1_l_2354;
int fn1_l_2188;
long fn1_bx;
int fn1_BHbHb1l_2637;
long fn1_l_2756;
void fn1() {
  long l_1761;
  unsigned l_1552, l_1810, l_1812, bw;
  int l_2189, by, l_2688;
  short l_1852;
  short l_1912;
  short l_2108;
  short l_2126;
  short l_2352;
  unsigned l_2456;
LABEL_5959g:
  __builtin_printf("l_2456=3D%llu\n", l_2456);
  if (l_1812)
  ca:
    if (a) goto LABEL_IbIbjc;
  if (fn1_l_2188) {
    if (fn1_l_2756 && fn1_l_2188 <=3D 7)
    LABEL_TaTak:
      if (l_2352) goto LABEL_6969u;
    if (by) {
    LABEL_6969u:
      if (l_2189)
        ;
      if (l_1912) goto LABEL_5959g;
    n:
      int BK8K8hl_2189 =3D l_2352 * (~l_1852 & g_1496_BK8K8el_2738);
      if (l_2126) {
        int B6666pl_2365 =3D
            fn1_bx / ~(l_1552 || fn1_l_2354 % l_2108 & fn1_l_2664);
        if (fn1_l_2354) bw =3D B6666pl_2365 || l_1912;
        short dg =3D ~(l_2456 & l_1761),
              dh =3D (l_1912 & by | fn1_l_2756) * BK8K8hl_2189 | dg;
        if (bs) {
          l_1912 =3D dh * dg;
          if (l_1810) {
            if (fn1_l_2085) goto LABEL_m9m9J;
            goto q;
          }
        }
        l_2456 =3D dh;
        if (fn1_l_1522) goto n;
        l_1761 =3D ~BK8K8hl_2189;
        long dl =3D l_1761 ^ (l_2108 | bw ^ ~fn1_l_2354);
      t:
        l_2108 =3D (l_2108 && l_1812 && l_2126) - ~0;
        int w =3D -~0 ^ -l_1552 * ((dl || by) >> fn1_l_2188);
        l_1552 =3D w;
        if (fn1_l_1522) {
          int x =3D l_2688 | fn1_l_1708 & l_1552;
          short BHbHbZg_5 =3D (l_1810 | a) & l_1852;
          if (a)
          y:
            l_2688 =3D -(fn1_l_1522 & (x ^ BHbHbZg_5));
          l_1810 =3D x;
          BHbHb2l_1912(fn1_l_1522 && fn1_l_2188 && fn1_BHbHb1l_2637);
        }
        if (0)
          ;
        if (l_1812) goto ca;
      }
      short Bm9m9El_1852 =3D ~(~0 && l_2688);
      unsigned Bm9m9Fl_1522 =3D -Bm9m9El_1852;
      if (l_1812)
      LABEL_m9m9J:
        l_1852 =3D ~fn1_l_2664 ^ Bm9m9Fl_1522;
      long B97976l_1761 =3D ~fn1_bv ^ (l_1552 && l_2108);
      if (fn1_bv)
      q:
        l_2126 =3D ~(B97976l_1761 ^ a) / fn1_l_2354 / l_1761;
      if (by) goto LABEL_TaTak;
      if (l_1810) goto y;
      goto t;
    }
  }
LABEL_IbIbjc:
}

one needs ulimit -s 4096 in order to reproduce it.=