aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHarald Anlauf <anlauf@gmx.de>2021-12-08 21:14:19 +0100
committerHarald Anlauf <anlauf@gmx.de>2021-12-08 21:14:19 +0100
commitb77968a70537429b4f548f90c369d26e6b6943cc (patch)
tree938547f45e9696ae836530400216e73ce808e1a6
parent7add7f7bb3d35726a0c45322ffdbbab2bbf6a348 (diff)
downloadgcc-b77968a70537429b4f548f90c369d26e6b6943cc.zip
gcc-b77968a70537429b4f548f90c369d26e6b6943cc.tar.gz
gcc-b77968a70537429b4f548f90c369d26e6b6943cc.tar.bz2
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.
-rw-r--r--gcc/fortran/symbol.c3
-rw-r--r--gcc/testsuite/gfortran.dg/pr103609.f9015
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/fortran/symbol.c b/gcc/fortran/symbol.c
index 179f602..ebd9984 100644
--- a/gcc/fortran/symbol.c
+++ b/gcc/fortran/symbol.c
@@ -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;
diff --git a/gcc/testsuite/gfortran.dg/pr103609.f90 b/gcc/testsuite/gfortran.dg/pr103609.f90
new file mode 100644
index 0000000..57f6a3b
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr103609.f90
@@ -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