@@ -1998,6 +1998,28 @@ is_inquiry_ref (const char *name, gfc_ref **ref)
else
return false;
+ switch (type)
+ {
+ case INQUIRY_RE:
+ case INQUIRY_IM:
+ if (!gfc_notify_std (GFC_STD_F2008, "RE or IM part_ref at %C"))
+ return false;
+ break;
+
+ case INQUIRY_KIND:
+ if (!gfc_notify_std (GFC_STD_F2003, "KIND part_ref at %C"))
+ return false;
+ break;
+
+ case INQUIRY_LEN:
+ if (!gfc_notify_std (GFC_STD_F2003, "LEN part_ref at %C"))
+ return false;
+ break;
+
+ default:
+ gcc_unreachable ();
+ }
+
if (ref)
{
*ref = gfc_get_ref ();
new file mode 100644
@@ -0,0 +1,15 @@
+! { dg-do compile }
+! { dg-options "-std=f95" }
+! PR fortran/95373 - ICE in build_reference_type, at tree.c:7942
+
+subroutine s (x)
+ complex, parameter :: z = 3
+ real(z% kind) :: x ! { dg-error "nonderived-type variable" }
+ type t
+ real :: kind
+ logical :: re
+ end type t
+ type(t) :: b
+ print *, b% kind, b% re
+ print *, z% re ! { dg-error "nonderived-type variable" }
+end
new file mode 100644
@@ -0,0 +1,15 @@
+! { dg-do compile }
+! { dg-options "-std=f2003" }
+! PR fortran/95373 - ICE in build_reference_type, at tree.c:7942
+
+subroutine s (x)
+ complex, parameter :: z = 3
+ real(z% kind) :: x
+ type t
+ real :: kind
+ logical :: re
+ end type t
+ type(t) :: b
+ print *, b% kind, b% re
+ print *, z% re ! { dg-error "nonderived-type variable" }
+end