[Bug fortran/95544] ICE in gfc_can_put_var_on_stack, at fortran/trans-decl.c:494

[kargl at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95544

kargl at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P4
                 CC|                            |kargl at gcc dot gnu.org
   Last reconfirmed|                            |2020-06-04
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #2 from kargl at gcc dot gnu.org ---
There may be a better (or more restrictive) test, but this cures the issues.

Index: gcc/fortran/intrinsic.c
===================================================================
--- gcc/fortran/intrinsic.c     (revision 280157)
+++ gcc/fortran/intrinsic.c     (working copy)
@@ -4428,6 +4428,19 @@ check_arglist (gfc_actual_arglist **ap, gfc_intrinsic_
          return false;
        }

+      /* F2018, p. 328: An argument to an intrinsic procedure other than
+        ASSOCIATED, NULL, or PRESENT shall be a data object.  A EXPR_NULL
+        is not a data object.  */
+      if (actual->expr->expr_type == EXPR_NULL
+         && !(strcmp(gfc_current_intrinsic, "associated") == 0
+               || strcmp(gfc_current_intrinsic, "null") == 0
+               || strcmp(gfc_current_intrinsic, "present") == 0))
+       {
+         gfc_error ("NULL() at %L cannot appear as an actual argument in %qs",
+                    &actual->expr->where, gfc_current_intrinsic);
+         return false;
+       }
+
       /* If the formal argument is INTENT([IN]OUT), check for definability. 
*/
       if (formal->intent == INTENT_INOUT || formal->intent == INTENT_OUT)
        {