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 7A6BB3858D35; Fri, 24 Mar 2023 14:11:29 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 7A6BB3858D35
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1679667089;
	bh=ylHyFj4Lm3GdM8dFauEb/W3loO2kQlmjAHkglyUWeHk=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=VWh8Qg+ctH0yr0EdlkEPm99mtd5zmQcDgIxj4eTasRU8WPKTkfvIvbhfi7VfTxtgp
	 k7RXNCL2hGf+DP9veGlbNChGPHYc4XOdZXCuF1IILG9wXd/OPz5oMCjaXlTXRymUNS
	 gZp35oyGnVEC35JTRLpt7HQH9lj3WcHgfsGVQuVE=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/109265] [13 Regression] ICE for 527.cam4_r
 after r13-6787-g0963cb5fde158c
Date: Fri, 24 Mar 2023 14:11:29 +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: 13.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P1
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 13.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-109265-4-GQ6sx5A2s3@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-109265-4@http.gcc.gnu.org/bugzilla/>
References: <bug-109265-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
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #9 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Adjusted testcase:
module pr109265
  integer, parameter :: r8 =3D selected_real_kind (12)
contains
  subroutine foo (b, c, d, e, f)
    implicit none
    logical :: b
    real (kind =3D r8) :: c, d, e, f, i
    if (b) then
      c =3D bar (c * d, e)
      i =3D bar (f, c)
      call baz (i)
      call baz (-i)
    end if
  end subroutine foo
  function bar (a, b)
    implicit none
    real (kind =3D r8) :: bar
    real (kind =3D r8) :: a, b
    bar =3D a + b
  end function bar
  subroutine baz (b)
    implicit none
    real (kind =3D r8) :: b, d, e, f, g, h, i
    d =3D b
    i =3D 0
    e =3D d
    f =3D d
    g =3D d
  10 continue
    if ((e.eq.d) .and. (f.eq.d) .and. (g.eq.d) .and. (h.eq.d)) then
      h =3D i
      go to 10
    end if
  end subroutine baz
end module pr109265

It uses one uninitialized variable (h, D2 in the above one; but we shouldn't
ICE on it).=