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

re PR middle-end/81695 (internal compiler error: in size_binop_loc, at fold-const.c:1768)

Browse source 
PR middle-end/81695
	* fold-const.c (fold_indirect_ref_1): For ((int *)&a + 4 -> a[1],
	perform the computation in offset_int.

	* gcc.dg/pr81695.c: New test.

From-SVN: r250871
This commit is contained in:
Marek Polacek 2017-08-04 11:28:04 +00:00 • committed by Marek Polacek
parent 62c8a2cf17
commit f4f2c2ece3
4 changed files with 37 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2017-08-04 Marek Polacek <polacek@redhat.com>
PR middle-end/81695
* fold-const.c (fold_indirect_ref_1): For ((int *)&a + 4 -> a[1],
perform the computation in offset_int.
2017-08-04 Richard Sandiford <richard.sandiford@linaro.org>
PR tree-optimization/81136

23
gcc/fold-const.c
View file

@ -14107,14 +14107,21 @@ fold_indirect_ref_1 (location_t loc, tree type, tree op0)
&& type == TREE_TYPE (op00type))
{
tree type_domain = TYPE_DOMAIN (op00type);
tree min_val = size_zero_node;
if (type_domain && TYPE_MIN_VALUE (type_domain))
min_val = TYPE_MIN_VALUE (type_domain);
op01 = size_binop_loc (loc, EXACT_DIV_EXPR, op01,
TYPE_SIZE_UNIT (type));
op01 = size_binop_loc (loc, PLUS_EXPR, op01, min_val);
return build4_loc (loc, ARRAY_REF, type, op00, op01,
NULL_TREE, NULL_TREE);
tree min = TYPE_MIN_VALUE (type_domain);
if (min && TREE_CODE (min) == INTEGER_CST)
{
offset_int off = wi::to_offset (op01);
offset_int el_sz = wi::to_offset (TYPE_SIZE_UNIT (type));
offset_int remainder;
off = wi::divmod_trunc (off, el_sz, SIGNED, &remainder);
if (remainder == 0)
{
off = off + wi::to_offset (min);
op01 = wide_int_to_tree (sizetype, off);
return build4_loc (loc, ARRAY_REF, type, op00, op01,
NULL_TREE, NULL_TREE);
}
}
}
}
}

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2017-08-04 Marek Polacek <polacek@redhat.com>
PR middle-end/81695
* gcc.dg/pr81695.c: New test.
2017-08-04 Richard Sandiford <richard.sandiford@linaro.org>
PR tree-optimization/81136

11
gcc/testsuite/gcc.dg/pr81695.c Normal file
View file

@ -0,0 +1,11 @@
/* PR middle-end/81695 */
/* { dg-do compile } */
/* { dg-options "" } */
int z[] = { };
int
main (void)
{
__builtin_printf ("%d\n", *(z + 1));
}