diff options
author | Richard Biener <rguenther@suse.de> | 2023-07-21 13:55:43 +0200 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2023-07-21 13:58:10 +0200 |
commit | 8cbdb2e4d64461d8a19e033bd33b585187059d8a (patch) | |
tree | 94b0e63d83d48c8f45e586fe6c0c4cb8c98c6bdd /gcc | |
parent | 3038d598529d612391728b1895c21954ddb24306 (diff) | |
download | gcc-8cbdb2e4d64461d8a19e033bd33b585187059d8a.zip gcc-8cbdb2e4d64461d8a19e033bd33b585187059d8a.tar.gz gcc-8cbdb2e4d64461d8a19e033bd33b585187059d8a.tar.bz2 |
tree-optimization/41320 - remove bogus XFAILed testcase
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.
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/forwprop-12.c | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/forwprop-12.c b/gcc/testsuite/gcc.dg/tree-ssa/forwprop-12.c deleted file mode 100644 index de16c68..0000000 --- a/gcc/testsuite/gcc.dg/tree-ssa/forwprop-12.c +++ /dev/null @@ -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 *-*-* } } } */ |