diff options
| author | Harald Anlauf <anlauf@gmx.de> | 2022-11-16 21:41:19 +0100 |
|---|---|---|
| committer | Harald Anlauf <anlauf@gmx.de> | 2022-11-16 21:41:19 +0100 |
| commit | 96e4244ef3ccf4867ca4e37fbc6800e64ef30af6 (patch) | |
| tree | f80e99283009eccfed7a3dd8b8a309c5cdcdf74b /gcc | |
| parent | 713dcfc85ebbabaf74a1bcbac4ba1143519b31d6 (diff) | |
| download | gcc-96e4244ef3ccf4867ca4e37fbc6800e64ef30af6.zip gcc-96e4244ef3ccf4867ca4e37fbc6800e64ef30af6.tar.gz gcc-96e4244ef3ccf4867ca4e37fbc6800e64ef30af6.tar.bz2 | |
Fortran: error recovery after reference to bad CLASS variable [PR107681]
gcc/fortran/ChangeLog:
PR fortran/107681
* resolve.cc (resolve_fl_var_and_proc): Prevent NULL pointer
dereference with reference to bad CLASS variable.
gcc/testsuite/ChangeLog:
PR fortran/107681
* gfortran.dg/pr107681.f90: New test.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/fortran/resolve.cc | 1 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr107681.f90 | 13 |
2 files changed, 14 insertions, 0 deletions
diff --git a/gcc/fortran/resolve.cc b/gcc/fortran/resolve.cc index 5ff1cd0..24e5aa0 100644 --- a/gcc/fortran/resolve.cc +++ b/gcc/fortran/resolve.cc @@ -12967,6 +12967,7 @@ resolve_fl_var_and_proc (gfc_symbol *sym, int mp_flag) && sym->ts.u.derived && !sym->attr.select_type_temporary && !UNLIMITED_POLY (sym) + && CLASS_DATA (sym)->ts.u.derived && !gfc_type_is_extensible (CLASS_DATA (sym)->ts.u.derived)) { gfc_error ("Type %qs of CLASS variable %qs at %L is not extensible", diff --git a/gcc/testsuite/gfortran.dg/pr107681.f90 b/gcc/testsuite/gfortran.dg/pr107681.f90 new file mode 100644 index 0000000..0999ad9 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr107681.f90 @@ -0,0 +1,13 @@ +! { dg-do compile } +! { dg-options "-fcoarray=lib" } +! PR fortran/107681 - ICE in gfc_type_is_extensible +! Contributed by G.Steinmetz + +program p + type t + integer, allocatable :: a + end type + class(t) :: x[*] ! { dg-error "must be dummy, allocatable or pointer" } + associate (y => x) ! { dg-error "Invalid array reference" } + end associate +end |