re PR fortran/79229 (ICE in gfc_trans_assignment_1 with -fcheck=mem)

gcc/testsuite/ChangeLog:

2017-02-19  Andre Vehreschild  <vehre@gcc.gnu.org>

	PR fortran/79229
	* gfortran.dg/class_allocate_24.f90: New test.


gcc/fortran/ChangeLog:

2017-02-19  Andre Vehreschild  <vehre@gcc.gnu.org>

	PR fortran/79229
	* trans-expr.c (gfc_trans_assignment_1): Deref indirect refs when
	compiling with -fcheck=mem to check the pointer and not the data.

From-SVN: r245581
This commit is contained in:
Andre Vehreschild 2017-02-19 19:43:49 +01:00
parent dea71ad06f
commit 4ca4d1e95e
4 changed files with 33 additions and 3 deletions

View File

@ -5,6 +5,12 @@
(gfc_resolve_expr): Call it for dummy variables with a unique
symtree name.
2017-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
PR fortran/79229
* trans-expr.c (gfc_trans_assignment_1): Deref indirect refs when
compiling with -fcheck=mem to check the pointer and not the data.
2017-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
PR fortran/79335

View File

@ -9961,13 +9961,16 @@ gfc_trans_assignment_1 (gfc_expr * expr1, gfc_expr * expr2, bool init_flag,
tree cond;
const char* msg;
tmp = INDIRECT_REF_P (lse.expr)
? gfc_build_addr_expr (NULL_TREE, lse.expr) : lse.expr;
/* We should only get array references here. */
gcc_assert (TREE_CODE (lse.expr) == POINTER_PLUS_EXPR
|| TREE_CODE (lse.expr) == ARRAY_REF);
gcc_assert (TREE_CODE (tmp) == POINTER_PLUS_EXPR
|| TREE_CODE (tmp) == ARRAY_REF);
/* 'tmp' is either the pointer to the array(POINTER_PLUS_EXPR)
or the array itself(ARRAY_REF). */
tmp = TREE_OPERAND (lse.expr, 0);
tmp = TREE_OPERAND (tmp, 0);
/* Provide the address of the array. */
if (TREE_CODE (lse.expr) == ARRAY_REF)

View File

@ -1,3 +1,8 @@
2017-02-19 Andre Vehreschild <vehre@gcc.gnu.org>
PR fortran/79229
* gfortran.dg/class_allocate_24.f90: New test.
2017-02-19 Paul Thomas <pault@gcc.gnu.org>
PR fortran/79402

View File

@ -0,0 +1,16 @@
! { dg-do compile }
! { dg-options "-fcheck=mem" }
!
! Compile time check only, to test that the ICE is fixed in the assignment of the
! default initializer of the class to sf.
implicit none
type :: t
integer, pointer :: data => null ()
end type
class(t), dimension(:), allocatable :: sf
allocate (t :: sf (1))
end