diff options
author | José Rui Faustino de Sousa <jrfsousa@gmail.com> | 2021-04-16 16:17:21 +0000 |
---|---|---|
committer | José Rui Faustino de Sousa <jrfsousa@gmail.com> | 2021-04-16 16:19:56 +0000 |
commit | 98c5b5924de969ae8ab37d140aa85bcca3f3c76c (patch) | |
tree | c62107ff3085fa9de55d4a389fc13ed7e57324b8 | |
parent | 8535755af70f819d820553b2e73e72a16a984599 (diff) | |
download | gcc-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.
-rw-r--r-- | gcc/fortran/resolve.c | 1 | ||||
-rw-r--r-- | gcc/testsuite/gfortran.dg/PR10018.f90 | 11 |
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 } |