aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorHarald Anlauf <anlauf@gmx.de>2020-07-02 20:48:16 +0200
committerHarald Anlauf <anlauf@gmx.de>2020-07-02 20:48:16 +0200
commitb88744905a46be44ffa3c57d46080f601ae832b8 (patch)
treefd62b1c2cf23187e8ee85af5ca08282716a35638 /gcc
parentd9fb6f2b4f1321b059807ff6073156f07d9d376b (diff)
downloadgcc-b88744905a46be44ffa3c57d46080f601ae832b8.zip
gcc-b88744905a46be44ffa3c57d46080f601ae832b8.tar.gz
gcc-b88744905a46be44ffa3c57d46080f601ae832b8.tar.bz2
PR fortran/93423 - ICE on invalid with argument list for module procedure
When recovering from an error, a NULL pointer dereference could occur. Check for that situation and punt. gcc/fortran/ PR fortran/93423 * resolve.c (resolve_symbol): Avoid NULL pointer dereference.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/resolve.c2
-rw-r--r--gcc/testsuite/gfortran.dg/pr93423.f9021
2 files changed, 22 insertions, 1 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 1952b53..5cc9f72 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -15918,7 +15918,7 @@ resolve_symbol (gfc_symbol *sym)
if (formal)
{
sym->formal_ns = formal->sym->ns;
- if (sym->ns != formal->sym->ns)
+ if (sym->formal_ns && sym->ns != formal->sym->ns)
sym->formal_ns->refs++;
}
}
diff --git a/gcc/testsuite/gfortran.dg/pr93423.f90 b/gcc/testsuite/gfortran.dg/pr93423.f90
new file mode 100644
index 0000000..fed5914
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr93423.f90
@@ -0,0 +1,21 @@
+! { dg-do compile }
+! PR fortran/93423 - ICE on invalid with argument list for module procedure
+
+module t
+ type :: b
+ contains
+ procedure :: p => bp
+ end type b
+ interface
+ module function bp(s)
+ class(b), intent(inout) :: s
+ integer, pointer :: bp
+ end function
+ end interface
+end module t
+
+submodule (t) ts
+contains
+ module procedure bp(s) ! { dg-error "must be in a generic module interface" }
+ end procedure bp ! { dg-error "Expecting END SUBMODULE statement" }
+end submodule ts