OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR tree-optimization/2480 (aliasing problem with global structures)

Browse Source 
2009-04-03  Richard Guenther  <rguenther@suse.de>

	PR tree-optimization/2480
	PR tree-optimization/23086
	* gcc.dg/tree-ssa/pr2480.c: New testcase.
	* gcc.dg/tree-ssa/pr23086.c: Likewise.

From-SVN: r145499
This commit is contained in:
Richard Guenther 2009-04-03 12:38:08 +00:00 committed by Richard Biener
parent 075f83f5b0
commit 0c908ffc09
3 changed files with 95 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,10 @@
2009-04-03 Richard Guenther <rguenther@suse.de>
PR tree-optimization/2480
PR tree-optimization/23086
* gcc.dg/tree-ssa/pr2480.c: New testcase.
* gcc.dg/tree-ssa/pr23086.c: Likewise.
2009-04-03 Richard Guenther <rguenther@suse.de>
PR tree-optimization/34743

35
gcc/testsuite/gcc.dg/tree-ssa/pr23086.c Normal file
View File

@ -0,0 +1,35 @@
/* { dg-do run } */
/* { dg-options "-O -fdump-tree-optimized" } */
extern void link_error (void);
extern void abort (void);
int *t;
int __attribute__((noinline)) g(int *a)
{
t = a;
*a = 2;
}
void __attribute__((noinline)) f(int *a)
{
int b;
b = 1;
g(&b);
b = 2;
*a = 1;
if (b != 2)
link_error();
}
int main(void)
{
int t;
f(&t);
if (t != 1)
abort ();
return 0;
}
/* { dg-final { scan-tree-dump-not "link_error" "optimized" } } */
/* { dg-final { cleanup-tree-dump "optimized" } } */

53
gcc/testsuite/gcc.dg/tree-ssa/pr2480.c Normal file
View File

@ -0,0 +1,53 @@
/* { dg-do link } */
/* { dg-options "-O2" } */
/* We have enough cascading at -O2 to cover the missed control-dependence
in SCCVN (which considers the link_error calls to clobber the structs). */
struct example
{
char a;
int b;
char c;
} *ex1;
extern void link_error(void);
void
bar (void)
{
ex1->a = 1;
ex1->b = 2;
ex1->c = 3;
if (ex1->a != 1)
link_error ();
if (ex1->b != 2)
link_error ();
if (ex1->c != 3)
link_error ();
}
void
foo (struct example *ex2)
{
ex2->a = 1;
ex2->b = 2;
ex2->c = 3;
if (ex2->a != 1)
link_error ();
if (ex2->b != 2)
link_error ();
if (ex2->c != 3)
link_error ();
}
int main (void)
{
bar ();
foo (ex1);
return 0;
}