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 B9D64383640D; Wed, 10 Apr 2024 17:04:41 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B9D64383640D
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1712768681;
	bh=vbx/ucDpg7X0Y4jS1yHA//nraG0VGz7AFEYdVLfGeKo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=tL7O922EVtdFTgYR9HRytdayoWpLU5Nx7sb9nj52CGV3Pfm81eIvsTyfHiwMXOGor
	 VD/MUs8zakEjFz1ow5IYv5ANOxQ2jowfUhJTjk5dBtArlzIaooZDH26m33rwNk048C
	 kI/C3CAOTeF/xWy12TJy3zlbvvfv/s5b+gGSDDxU=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug fortran/106500] ICE on function as an argument to c_sizeof()
Date: Wed, 10 Apr 2024 17:04:37 +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: 12.0
X-Bugzilla-Keywords: ice-on-valid-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P4
X-Bugzilla-Assigned-To: anlauf at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-106500-4-xm9P4dDMRs@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-106500-4@http.gcc.gnu.org/bugzilla/>
References: <bug-106500-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=3D106500

--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Harald Anlauf <anlauf@gcc.gnu.org>:

https://gcc.gnu.org/g:ded646c91d2c0fb908faf6fa8fe1df0d7df49d16

commit r14-9893-gded646c91d2c0fb908faf6fa8fe1df0d7df49d16
Author: Harald Anlauf <anlauf@gmx.de>
Date:   Tue Apr 9 23:07:59 2024 +0200

    Fortran: fix argument checking of intrinsics C_SIZEOF, C_F_POINTER
[PR106500]

    The interpretation of the F2018 standard regarding valid arguments to t=
he
    intrinsic C_SIZEOF(X) was clarified in an edit to 18-007r1:

      https://j3-fortran.org/doc/year/22/22-101r1.txt

    loosening restrictions and giving examples.  The F2023 text has:

    ! F2023:18.2.3.8  C_SIZEOF (X)
    !
    !   X shall be a data entity with interoperable type and type parameter=
s,
    !   and shall not be an assumed-size array, an assumed-rank array that
    !   is associated with an assumed-size array, an unallocated allocatable
    !   variable, or a pointer that is not associated.

    where

    ! 3.41 data entity
    !   data object, result of the evaluation of an expression, or the
    !   result of the execution of a function reference

    Update the checking code for interoperable arguments accordingly, and
extend
    to reject functions returning pointer as FPTR argument to C_F_POINTER.

    gcc/fortran/ChangeLog:

            PR fortran/106500
            * check.cc (is_c_interoperable): Fix checks for C_SIZEOF.
            (gfc_check_c_f_pointer): Reject function returning a pointer as
FPTR,
            and improve an error message.

    gcc/testsuite/ChangeLog:

            PR fortran/106500
            * gfortran.dg/c_sizeof_6.f90: Remove wrong dg-error.
            * gfortran.dg/sizeof_2.f90: Adjust pattern.
            * gfortran.dg/c_f_pointer_tests_9.f90: New test.
            * gfortran.dg/c_sizeof_7.f90: New test.=