mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-31 18:40:52 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fortran: error recovery handling invalid CLASS variable [PR107899]

Browse Source 
gcc/fortran/ChangeLog:

	PR fortran/107899
	* resolve.cc (resolve_deallocate_expr): Avoid NULL pointer dereference
	on invalid CLASS variable.

gcc/testsuite/ChangeLog:

	PR fortran/107899
	* gfortran.dg/pr107899.f90: New test.
This commit is contained in:
Harald Anlauf 2022-12-03 19:21:07 +01:00
parent 079add3ad3
commit 9123863828
2 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gcc/fortran/resolve.cc
View File

@ -7570,7 +7570,7 @@ resolve_deallocate_expr (gfc_expr *e)
sym = e->symtree->n.sym;
unlimited = UNLIMITED_POLY(sym);
if (sym->ts.type == BT_CLASS)
if (sym->ts.type == BT_CLASS && sym->attr.class_ok && CLASS_DATA (sym))
{
allocatable = CLASS_DATA (sym)->attr.allocatable;
pointer = CLASS_DATA (sym)->attr.class_pointer;

13
gcc/testsuite/gfortran.dg/pr107899.f90 Normal file
View File

@ -0,0 +1,13 @@
! { dg-do compile }
! { dg-options "-fcoarray=single" }
! PR fortran/107899 - ICE in resolve_deallocate_expr
! Contributed by G.Steinmetz
program p
type t
end type
class(t), target :: x[:] ! { dg-error "deferred shape" }
if (allocated (x)) then ! { dg-error "must be ALLOCATABLE" }
deallocate (x) ! { dg-error "must be ALLOCATABLE or a POINTER" }
end if
end