diff options
| author | Richard Guenther <rguenther@suse.de> | 2005-11-09 18:00:59 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2005-11-09 18:00:59 +0000 |
| commit | 874caa00190d34b659f1d67723a6406cd546f0c8 (patch) | |
| tree | bd637c182f6beea4adc189814ea2b0e1bc0f9dd0 /gcc/testsuite | |
| parent | b8176fe4bbaaf5e00f13aa6ce8003ff69ccd9380 (diff) | |
| download | gcc-874caa00190d34b659f1d67723a6406cd546f0c8.zip gcc-874caa00190d34b659f1d67723a6406cd546f0c8.tar.gz gcc-874caa00190d34b659f1d67723a6406cd546f0c8.tar.bz2 | |
re PR tree-optimization/24716 (Wrong code generated when optimising)
2005-11-09 Richard Guenther <rguenther@suse.de>
PR tree-optimization/24716
* tree-scalar-evolution.c (analyze_evolution_in_loop): Use
t_bool to track results from follow_ssa_edge.
* gcc.c-torture/execute/pr24716.c: New testcase.
From-SVN: r106700
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr24716.c | 59 |
2 files changed, 64 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index a25d626..af46bf2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2005-11-09 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/24716 + * gcc.c-torture/execute/pr24716.c: New testcase. + 2005-11-09 Andreas Krebbel <krebbel1@de.ibm.com> * gcc.dg/pr24624.c: Disable for non S/390 targets. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr24716.c b/gcc/testsuite/gcc.c-torture/execute/pr24716.c new file mode 100644 index 0000000..c2473f8 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr24716.c @@ -0,0 +1,59 @@ +/* PR24716, scalar evolution returning the wrong result + for pdest. */ + +int Link[] = { -1 }; +int W[] = { 2 }; + +extern void abort (void); + +int f (int k, int p) +{ + int pdest, j, D1361; + j = 0; + pdest = 0; + for (;;) { + if (pdest > 2) + do + j--, pdest++; + while (j > 2); + + if (j == 1) + break; + + while (pdest > p) + if (j == p) + pdest++; + + do + { + D1361 = W[k]; + do + if (D1361 != 0) + pdest = 1, W[k] = D1361 = 0; + while (p < 1); + } while (k > 0); + + do + { + p = 0; + k = Link[k]; + while (p < j) + if (k != -1) + pdest++, p++; + } + while (k != -1); + j = 1; + } + + /* The correct return value should be pdest (1 in the call from main). + DOM3 is mistaken and propagates a 0 here. */ + return pdest; +} + +int main () +{ + if (!f (0, 2)) + abort (); + return 0; +} + |