aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJosé Rui Faustino de Sousa <jrfsousa@gmail.com>2021-04-16 16:17:21 +0000
committerJosé Rui Faustino de Sousa <jrfsousa@gmail.com>2021-04-16 16:19:56 +0000
commit98c5b5924de969ae8ab37d140aa85bcca3f3c76c (patch)
treec62107ff3085fa9de55d4a389fc13ed7e57324b8 /gcc
parent8535755af70f819d820553b2e73e72a16a984599 (diff)
downloadgcc-98c5b5924de969ae8ab37d140aa85bcca3f3c76c.zip
gcc-98c5b5924de969ae8ab37d140aa85bcca3f3c76c.tar.gz
gcc-98c5b5924de969ae8ab37d140aa85bcca3f3c76c.tar.bz2
Fortran: Fix ICE due to referencing a NULL pointer [PR100018]
gcc/fortran/ChangeLog: PR fortran/100018 * resolve.c: Add association check before de-referencing pointer. gcc/testsuite/ChangeLog: PR fortran/100018 * gfortran.dg/PR10018.f90: New test.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/fortran/resolve.c1
-rw-r--r--gcc/testsuite/gfortran.dg/PR10018.f9011
2 files changed, 12 insertions, 0 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c
index 1c9b0c5..dd4b266 100644
--- a/gcc/fortran/resolve.c
+++ b/gcc/fortran/resolve.c
@@ -11999,6 +11999,7 @@ start:
/* Assigning a class object always is a regular assign. */
if (code->expr2->ts.type == BT_CLASS
&& code->expr1->ts.type == BT_CLASS
+ && CLASS_DATA (code->expr2)
&& !CLASS_DATA (code->expr2)->attr.dimension
&& !(gfc_expr_attr (code->expr1).proc_pointer
&& code->expr2->expr_type == EXPR_VARIABLE
diff --git a/gcc/testsuite/gfortran.dg/PR10018.f90 b/gcc/testsuite/gfortran.dg/PR10018.f90
new file mode 100644
index 0000000..f1cf267
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/PR10018.f90
@@ -0,0 +1,11 @@
+! { dg-do compile }
+!
+subroutine foo(that)
+ implicit none
+ class(*), target, intent(in) :: this
+ class(*), pointer, intent(out) :: that
+
+ that => this
+ return
+end subroutine foo
+! { dg-error "Symbol at \\\(1\\\) is not a DUMMY variable" "" { target "*-*-*" } 5 }