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

tree-optimization/41320 - remove bogus XFAILed testcase

Browse source 
gcc.dg/tree-ssa/forwprop-12.c looks for reconstruction of an
ARRAY_REF from pointer arithmetic and dereference.  That's not
safe because ARRAY_REFs carry special semantics we later exploit
during data dependence analysis.

The following removes the testcase, closing the bug as WONTFIX.

	PR tree-optimization/41320
	* gcc.dg/tree-ssa/forwprop-12.c: Remove.
This commit is contained in:
Richard Biener 2023-07-21 13:55:43 +02:00
parent 3038d59852
commit 8cbdb2e4d6
1 changed files with 0 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
gcc/testsuite/gcc.dg/tree-ssa/forwprop-12.c
View file

@ -1,21 +0,0 @@
/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-forwprop1" } */
struct X { int a[256]; };
int foo(struct X *p, __SIZE_TYPE__ i)
{
int *q = &p->a[0];
int *q2 = (int *)((void *)q + i*4 + 32);
return *q2;
}
int bar(struct X *p, int i)
{
return *((int *)p + i + 8);
}
/* We should have propagated the base array address through the
address arithmetic into the memory access as an array access. */
/* { dg-final { scan-tree-dump-times "->a\\\[D\\\." 2 "forwprop1" { xfail *-*-* } } } */