diff options
| author | Mark Eggleston <markeggleston@gcc.gnu.org> | 2020-06-01 08:15:31 +0100 |
|---|---|---|
| committer | Mark Eggleston <markeggleston@gcc.gnu.org> | 2020-09-01 10:57:05 +0100 |
| commit | 3d137b75febd1a4ad70bcc64e0f79198f5571b86 (patch) | |
| tree | cc417a6b086517635abe9ee0a8373abf575b0c5f /gcc/fortran/resolve.c | |
| parent | d6a05b494b4b714e996a5ca09c5a4a1c41dbd648 (diff) | |
| download | gcc-3d137b75febd1a4ad70bcc64e0f79198f5571b86.zip gcc-3d137b75febd1a4ad70bcc64e0f79198f5571b86.tar.gz gcc-3d137b75febd1a4ad70bcc64e0f79198f5571b86.tar.bz2 | |
Fortran : ICE on invalid code PR95398
The CLASS_DATA macro is used to shorten the code accessing the derived
components of an expressions type specification. If the type is not
BT_CLASS the derived pointer is NULL resulting in an ICE. To avoid
dereferencing a NULL pointer the type should be BT_CLASS.
2020-09-01 Steven G. Kargl <kargl@gcc.gnu.org>
gcc/fortran
PR fortran/95398
* resolve.c (resolve_select_type): Add check for BT_CLASS
type before using the CLASS_DATA macro which will have a
NULL pointer to derive components if it isn't BT_CLASS.
2020-09-01 Mark Eggleston <markeggleston@gcc.gnu.org>
gcc/testsuite
PR fortran/95398
* gfortran.dg/pr95398.f90: New test.
Diffstat (limited to 'gcc/fortran/resolve.c')
| -rw-r--r-- | gcc/fortran/resolve.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/fortran/resolve.c b/gcc/fortran/resolve.c index 6caddcf..e423271 100644 --- a/gcc/fortran/resolve.c +++ b/gcc/fortran/resolve.c @@ -9259,7 +9259,9 @@ resolve_select_type (gfc_code *code, gfc_namespace *old_ns) ? CLASS_DATA (code->expr2)->ts.u.derived : code->expr2->ts.u.derived; } - if (code->expr2->rank && CLASS_DATA (code->expr1)->as) + if (code->expr2->rank + && code->expr1->ts.type == BT_CLASS + && CLASS_DATA (code->expr1)->as) CLASS_DATA (code->expr1)->as->rank = code->expr2->rank; /* F2008: C803 The selector expression must not be coindexed. */ |