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 ECCDB3858D39; Tue, 28 Dec 2021 21:24:33 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org ECCDB3858D39
From: "pinskia at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/103851] ICE in gimple_range_global with
 -ftrivial-auto-var-init=pattern since r12-3433-ga25e0b5e6ac8a77a
Date: Tue, 28 Dec 2021 21:24:33 +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, openmp
X-Bugzilla-Severity: normal
X-Bugzilla-Who: pinskia 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: 12.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: keywords
Message-ID: <bug-103851-4-PoVHS0wasq@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-103851-4@http.gcc.gnu.org/bugzilla/>
References: <bug-103851-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: Tue, 28 Dec 2021 21:24:34 -0000

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |openmp

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
The SSA_NAME does not have a definition any more but not released:
 <ssa_name 0x7ffff6e7d240
    type <pointer_type 0x7ffff6e81000
        type <record_type 0x7ffff6e76000 _Deque_base sizes-gimplified cxx-o=
dr-p
type_5 type_6 BLK
            size <integer_cst 0x7ffff6d02408 constant 192>
            unit-size <integer_cst 0x7ffff6d023d8 constant 24>
            align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-ty=
pe
0x7ffff6e76000 fields <function_decl 0x7ffff6e84300 __dt > context
<translation_unit_decl 0x7ffff6cee168 t45.cc>
            full-name "struct _Deque_base"
            X() X(constX&) this=3D(X&) n_parents=3D0 use_template=3D0
interface-unknown
            pointer_to_this <pointer_type 0x7ffff6e81000> reference_to_this
<reference_type 0x7ffff6e81540> chain <type_decl 0x7ffff6e751c8 _Deque_base=
>>
        unsigned DI
        size <integer_cst 0x7ffff6ce0f48 constant 64>
        unit-size <integer_cst 0x7ffff6ce0f60 constant 8>
        align:64 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7ffff6e81000>

    def_stmt
    version:1>

When openmp outlines the basic-block, it must not have released them:
  #pragma omp parallel [child fn:
_ZN12_GLOBAL__N_121morphologicalFilter1DIiLi0ELi4EEEvv._omp_fn.0 (???)]

  <bb 3> :
  vals =3D .DEFERRED_INIT (96, 1, 0);
  D.2608 =3D &vals + 0;
  _1 =3D D.2608 + 96;
  goto <bb 5>; [INV]

  <bb 4> :
  D.2608 =3D D.2608 + 24;

  <bb 5> :
  if (D.2608 !=3D _1)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  vals =3D {CLOBBER};
  #pragma omp return


I don't see anything exactly related to ftrivial-auto-var-init really excep=
t it
adding the loop around vals.=