procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fortran : ICE in gfc_check_pointer_assign PR95612

Browse source 
Output an error if the right hand value is a zero sized array or
does not have a symbol tree otherwise continue checking.

2020-07-14  Steven G. Kargl  <kargl@gcc.gnu.org>

gcc/fortran/

	PR fortran/95612
	* expr.c (gfc_check_pointer_assigb): Output an error if
	rvalue is a zero sized array or output an error if rvalue
	doesn't have a symbol tree.

2020-07-14  Mark Eggleston  <markeggleston@gcc.gnu.org>

gcc/testsuite/

	PR fortran/95612
	* gfortran.dg/pr95612.f90: New test.
This commit is contained in:
Mark Eggleston 2020-06-11 11:05:40 +01:00
parent 102502e32e
commit 81072bab8d
2 changed files with 21 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
gcc/fortran/expr.c
View file

@ -4271,7 +4271,20 @@ gfc_check_pointer_assign (gfc_expr *lvalue, gfc_expr *rvalue,
gfc_symbol *sym;
bool target;
gcc_assert (rvalue->symtree);
if (gfc_is_size_zero_array (rvalue))
{
gfc_error ("Zero-sized array detected at %L where an entity with "
"the TARGET attribute is expected", &rvalue->where);
return false;
}
else if (!rvalue->symtree)
{
gfc_error ("Pointer assignment target in initialization expression "
"does not have the TARGET attribute at %L",
&rvalue->where);
return false;
}
sym = rvalue->symtree->n.sym;
if (sym->ts.type == BT_CLASS && sym->attr.class_ok)

7
gcc/testsuite/gfortran.dg/pr95612.f90 Normal file
View file

@ -0,0 +1,7 @@
! { dg-do compile }
program p
integer, pointer :: y(:) => shape(1) ! { dg-error "Zero-sized array detected at .1. where an entity with the TARGET attribute is expected" }
integer, pointer :: z(:) => shape([1]) ! { dg-error "Pointer assignment target in initialization expression does not have the TARGET attribute at .1." }
end