PR fortran/103778 - [10/11/12 Regression] ICE: Invalid expression in gfc_element_size
Commit Message
Dear all,
again found by Gerhard: using a BOZ literal constant in situations
where an interoperable object is expected can lead to an ICE.
But obviously a BOZ in not interoperable.
Obvious patch, regtested on x86_64-pc-linux-gnu.
Will commit within 48h unless there are objections or better
suggestions.
Thanks,
Harald
From 2e6c83fbddda3215faf111263ebfc754bc07096c Mon Sep 17 00:00:00 2001
From: Harald Anlauf <anlauf@gmx.de>
Date: Mon, 20 Dec 2021 22:12:33 +0100
Subject: [PATCH] Fortran: BOZ literal constants are not interoperable
gcc/fortran/ChangeLog:
PR fortran/103778
* check.c (is_c_interoperable): A BOZ literal constant is not
interoperable.
gcc/testsuite/ChangeLog:
PR fortran/103778
* gfortran.dg/illegal_boz_arg_3.f90: New test.
---
gcc/fortran/check.c | 6 ++++++
gcc/testsuite/gfortran.dg/illegal_boz_arg_3.f90 | 7 +++++++
2 files changed, 13 insertions(+)
create mode 100644 gcc/testsuite/gfortran.dg/illegal_boz_arg_3.f90
@@ -5185,6 +5185,12 @@ is_c_interoperable (gfc_expr *expr, const char **msg, bool c_loc, bool c_f_ptr)
return false;
}
+ if (expr->ts.type == BT_BOZ)
+ {
+ *msg = "BOZ literal constant";
+ return false;
+ }
+
if (expr->ts.type == BT_CLASS)
{
*msg = "Expression is polymorphic";
new file mode 100644
@@ -0,0 +1,7 @@
+! { dg-do compile }
+! PR fortran/103778
+
+program p
+ use iso_c_binding, only : c_sizeof
+ integer, parameter :: a = c_sizeof(z'1') ! { dg-error "cannot appear" }
+end
--
2.26.2