OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR fortran/87991 (ICE in gfc_constructor_append_expr, at fortran/constructor.c:135) 

2019-08-13  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/87991
	* resolve.c (check_data_variable): data-stmt-object with pointer
	attribute requires a data-stmt-value with the target attribute.
 
2019-08-13  Steven G. Kargl  <kargl@gcc.gnu.org>

	PR fortran/87991
	* gfortran.dg/pr87991.f90: New test.

From-SVN: r274412
This commit is contained in:
Steven G. Kargl 2019-08-14 04:22:31 +00:00
parent 5747e0c0e1
commit ade8fdbbfd
4 changed files with 41 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/fortran/ChangeLog
View File

@ -1,3 +1,9 @@
2019-08-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/87991
* resolve.c (check_data_variable): data-stmt-object with pointer
attribute requires a data-stmt-value with the target attribute.
2019-08-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/88072

29
gcc/fortran/resolve.c
View File

@ -15726,8 +15726,6 @@ check_data_variable (gfc_data_variable *var, locus *where)
return false;
}
has_pointer = sym->attr.pointer;
if (gfc_is_coindexed (e))
{
gfc_error ("DATA element %qs at %L cannot have a coindex", sym->name,
@ -15735,19 +15733,30 @@ check_data_variable (gfc_data_variable *var, locus *where)
return false;
}
has_pointer = sym->attr.pointer;
for (ref = e->ref; ref; ref = ref->next)
{
if (ref->type == REF_COMPONENT && ref->u.c.component->attr.pointer)
has_pointer = 1;
if (has_pointer
&& ref->type == REF_ARRAY
&& ref->u.ar.type != AR_FULL)
{
gfc_error ("DATA element %qs at %L is a pointer and so must "
"be a full array", sym->name, where);
return false;
}
if (has_pointer)
{
if (ref->type == REF_ARRAY && ref->u.ar.type != AR_FULL)
{
gfc_error ("DATA element %qs at %L is a pointer and so must "
"be a full array", sym->name, where);
return false;
}
if (values.vnode->expr->expr_type == EXPR_CONSTANT)
{
gfc_error ("DATA object near %L has the pointer attribute "
"and the corresponding DATA value is not a valid "
"initial-data-target", where);
return false;
}
}
}
if (e->rank == 0 || has_pointer)

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2019-08-13 Steven G. Kargl <kargl@gcc.gnu.org>
PR fortran/87991
* gfortran.dg/pr87991.f90: New test.
2019-08-13 Richard Sandiford <richard.sandiford@arm.com>
* gcc.target/aarch64/sve/spill_2.c: Increase iteration counts

11
gcc/testsuite/gfortran.dg/pr87991.f90 Normal file
View File

@ -0,0 +1,11 @@
! { dg-do compile }
! { dg-options "-w" }
! PR fortran/87991
program p
type t
character(:), pointer :: c
end type
type(t) :: x
allocate (character(3) :: x%c)
data x%c /'abc'/ ! { dg-error "has the pointer attribute" }
end