From b77968a70537429b4f548f90c369d26e6b6943cc Mon Sep 17 00:00:00 2001
From: Harald Anlauf <anlauf@gmx.de>
Date: Wed, 8 Dec 2021 21:14:19 +0100
Subject: [PATCH] Fortran: avoid NULL pointer dereference on missing or bad
dummy arguments
gcc/fortran/ChangeLog:
PR fortran/103609
* symbol.c (gfc_sym_get_dummy_args): Catch NULL pointer
dereference.
gcc/testsuite/ChangeLog:
PR fortran/103609
* gfortran.dg/pr103609.f90: New test.
---
gcc/fortran/symbol.c | 3 +++
gcc/testsuite/gfortran.dg/pr103609.f90 | 15 +++++++++++++++
2 files changed, 18 insertions(+)
create mode 100644 gcc/testsuite/gfortran.dg/pr103609.f90
@@ -5240,6 +5240,9 @@ gfc_sym_get_dummy_args (gfc_symbol *sym)
{
gfc_formal_arglist *dummies;
+ if (sym == NULL)
+ return NULL;
+
dummies = sym->formal;
if (dummies == NULL && sym->ts.interface != NULL)
dummies = sym->ts.interface->formal;
new file mode 100644
@@ -0,0 +1,15 @@
+! { dg-do compile }
+! PR fortran/103609 - ICE in gfc_sym_get_dummy_args
+! Contributed by G.Steinmetz
+
+program p
+ implicit none
+ integer :: i
+ do i = 1, 2
+ call s
+ end do
+contains
+ subroutine s
+ call sub(x) ! { dg-error "has no IMPLICIT type" }
+ end
+end
--
2.26.2