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 9FA4F385840D; Mon, 24 Jul 2023 15:05:01 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 9FA4F385840D
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1690211101;
	bh=Fq4qp0sBXadN094VRCurY1P1judMg8uQzRDntL6q2jQ=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=FRxBJt8sCPbkymI5smnWLYKURkd+ALIBJjI0dol1XLF1cvMjsOH7JZoK2zqTr/GV3
	 p2o+6IP+fETSGSxwKDuzS/JsSfEhb/0t1Jwkt7oMVkhQ1FuDNtOdH/BENyHRIg0y6q
	 LQy4xF/39344QonM6segDyAPaCIUqPmMlQ0Y5GUA=
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/110725] [13/14 Regression] internal compiler error: in
 expand_expr_real_1, at expr.cc:10897
Date: Mon, 24 Jul 2023 15:04:59 +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: 13.1.0
X-Bugzilla-Keywords: accepts-invalid, ice-on-valid-code, openmp
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub 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: 13.2
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-110725-4-KhgtNhGqGk@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-110725-4@http.gcc.gnu.org/bugzilla/>
References: <bug-110725-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=3D110725

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |burnus at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
This is certainly accepts-invalid if it is accepted.
E.g. OpenMP 5.0 says on this in 2.20, 5.1 in
https://www.openmp.org/spec-html/5.1/openmpse30.html#x155-1880002.22
"If a teams construct is nested within a target construct, that target
construct must contain no statements, declarations or directives outside of=
 the
teams construct."
Though, diagnosing this is hard, because e.g. parsing of teams construct's
clauses can result in some code in between the target and teams nested in i=
t,
and that is valid.
I mean say
int foo (void) { return 42; }
#pragma omp declare target (foo)

int
main ()
{
#pragma omp target
#pragma omp teams num_teams (foo ())
;
}=