re PR tree-optimization/69172 (ICE in make_ssa_name_fn, at tree-ssanames.c:266)

PR tree-optimization/69172
	* gimple-fold.c (gimple_fold_builtin_memory_chk): Pass type to
	gimple_build.

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

From-SVN: r232155
This commit is contained in:
Jakub Jelinek 2016-01-08 11:13:23 +01:00 committed by Jakub Jelinek
parent 80e9b3aaac
commit 22518428af
4 changed files with 58 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2016-01-08 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/69172
* gimple-fold.c (gimple_fold_builtin_memory_chk): Pass type to
gimple_build.
2016-01-08 Thomas Preud'homme <thomas.preudhomme@arm.com>
PR tree-optimization/67781

View File

@ -1710,7 +1710,8 @@ gimple_fold_builtin_memory_chk (gimple_stmt_iterator *gsi,
{
gimple_seq stmts = NULL;
len = gimple_convert_to_ptrofftype (&stmts, loc, len);
tree temp = gimple_build (&stmts, loc, POINTER_PLUS_EXPR, dest, len);
tree temp = gimple_build (&stmts, loc, POINTER_PLUS_EXPR,
TREE_TYPE (dest), dest, len);
gsi_insert_seq_before (gsi, stmts, GSI_SAME_STMT);
replace_call_with_value (gsi, temp);
return true;

View File

@ -1,3 +1,8 @@
2016-01-08 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/69172
* gcc.dg/pr69172.c: New test.
2016-01-08 Thomas Preud'homme <thomas.preudhomme@arm.com>
PR tree-optimization/67781

View File

@ -0,0 +1,45 @@
/* PR tree-optimization/69172 */
/* { dg-do compile } */
/* { dg-options "-O2" } */
int a;
void *
f1 (void)
{
int *b = &a, *c = &a;
return __builtin___mempcpy_chk (b, c, sizeof (int), 0);
}
void *
f2 (void)
{
int *b = &a;
return __builtin___mempcpy_chk (b, b, sizeof (int), 0);
}
void *
f3 (void)
{
return __builtin___mempcpy_chk (&a, &a, sizeof (int), 0);
}
void *
f4 (int x)
{
int *b = &a, *c = &a;
return __builtin___mempcpy_chk (b, c, x, 0);
}
void *
f5 (int x)
{
int *b = &a;
return __builtin___mempcpy_chk (b, b, x, 0);
}
void *
f6 (int x)
{
return __builtin___mempcpy_chk (&a, &a, x, 0);
}