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 3A3893858C3A; Thu, 12 Oct 2023 19:19:17 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3A3893858C3A
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1697138357;
	bh=qamu8WF2JPlcJSMYZ13f9qHSADolUUQ7Zs2lDh5qkww=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=LzLdPbr98WGXE4LRkVLe1Mag79EcXoLbtXLY0cePlI/vN5l7hJktsx9gEokvSap11
	 65KPT+Ui7zyK/Kb6WUgN7qjzWk7KqzqtB4N1s0BBxFDcfPIaNL7KTlqqmlOt1FvEH1
	 KzELoIIiMbfUNy174fF0tNExGvJ8gDiXbbHrqXVo=
From: "anlauf at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/111783] 'exit' intrinsic should be marked as noreturn
Date: Thu, 12 Oct 2023 19:19:17 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: fortran
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: missed-optimization
X-Bugzilla-Severity: normal
X-Bugzilla-Who: anlauf 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: cc
Message-ID: <bug-111783-4-jeOWErBcpe@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-111783-4@http.gcc.gnu.org/bugzilla/>
References: <bug-111783-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=3D111783

anlauf at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |anlauf at gcc dot gnu.org

--- Comment #2 from anlauf at gcc dot gnu.org ---
(In reply to Tobias Burnus from comment #0)
> There are probably more, at least the ABORT intrinsic subroutine and
> the functions associated with STOP / ERROR STOP like _gfortran_stop_numer=
ic.

trans-decl.cc has:

  /* STOP doesn't return.  */
  TREE_THIS_VOLATILE (gfor_fndecl_stop_numeric) =3D 1;

  TREE_THIS_VOLATILE (gfor_fndecl_stop_string) =3D 1;

  TREE_THIS_VOLATILE (gfor_fndecl_error_stop_numeric) =3D 1;

  TREE_THIS_VOLATILE (gfor_fndecl_error_stop_string) =3D 1;

plus a few more, so these are already accounted for.  Try:

  stop 1
  error stop 2
  stop "3"
end

The dump-tree-optimized only contains the first even at -O0, as it should b=
e,
shouldn't it?

This leaves ABORT and EXIT to deal with.=