From f4c69f53f97ccbbd59ac62d9da712d5297580e72 Mon Sep 17 00:00:00 2001 From: Richard Guenther Date: Mon, 17 Jan 2011 11:50:47 +0000 Subject: re PR tree-optimization/45967 (gcc-4.5.x optimizes code with side-effects away) 2011-01-17 Richard Guenther PR tree-optimization/45967 * gcc.dg/torture/pr45967-2.c: New testcase. * gcc.dg/torture/pr45967-3.c: Likewise. From-SVN: r168896 --- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/gcc.dg/torture/pr45967-2.c | 24 ++++++++++++++++++++++++ gcc/testsuite/gcc.dg/torture/pr45967-3.c | 21 +++++++++++++++++++++ 3 files changed, 51 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/torture/pr45967-2.c create mode 100644 gcc/testsuite/gcc.dg/torture/pr45967-3.c (limited to 'gcc') diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4d30838..37955d7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2011-01-17 Richard Guenther + + PR tree-optimization/45967 + * gcc.dg/torture/pr45967-2.c: New testcase. + * gcc.dg/torture/pr45967-3.c: Likewise. + 2011-01-16 John David Anglin PR testsuite/47325 diff --git a/gcc/testsuite/gcc.dg/torture/pr45967-2.c b/gcc/testsuite/gcc.dg/torture/pr45967-2.c new file mode 100644 index 0000000..6959fd5 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr45967-2.c @@ -0,0 +1,24 @@ +/* { dg-do run } */ + +extern void abort (void); +int b; +void +foo (void *p_, int *q) +{ + int *p; + int i; + for (i = 0; i < sizeof(int *); ++i) + ((char *)&p)[i] = ((char *)p_)[i]; + if (b) + p = q; + *p = 1; +} +int main() +{ + int i = 0, j; + int *p = &i; + foo (&p, &j); + if (i != 1) + abort (); + return 0; +} diff --git a/gcc/testsuite/gcc.dg/torture/pr45967-3.c b/gcc/testsuite/gcc.dg/torture/pr45967-3.c new file mode 100644 index 0000000..1a23a77 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr45967-3.c @@ -0,0 +1,21 @@ +/* { dg-do run } */ + +extern void abort (void); +void +foo (void *p_) +{ + int *p; + int i; + for (i = 0; i < sizeof(int *); ++i) + ((char *)&p)[i] = ((char *)p_)[i]; + *p = 1; +} +int main() +{ + int i = 0; + int *p = &i; + foo (&p); + if (i != 1) + abort (); + return 0; +} -- cgit v1.1