diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2008-06-23 13:51:34 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2008-06-23 13:51:34 +0200 |
| commit | 53983ae9f340b1378e9aae93728c6bc2e62d4317 (patch) | |
| tree | dd142a166873f8566f124516b14bfcaaa82144dc /gcc | |
| parent | 836cd1da107038296d679483b78132775cca751c (diff) | |
| download | gcc-53983ae9f340b1378e9aae93728c6bc2e62d4317.zip gcc-53983ae9f340b1378e9aae93728c6bc2e62d4317.tar.gz gcc-53983ae9f340b1378e9aae93728c6bc2e62d4317.tar.bz2 | |
re PR tree-optimization/36508 (ICE in compute_antic)
PR tree-optimization/36508
* tree-ssa-pre.c (compute_antic): Allow num_iterations up to
499, don't check it at all in release compilers.
* gcc.dg/pr36508.c: New test.
From-SVN: r137036
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr36508.c | 29 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 8 |
4 files changed, 46 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b91ebd1..409f504 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-06-23 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/36508 + * tree-ssa-pre.c (compute_antic): Allow num_iterations up to + 499, don't check it at all in release compilers. + 2008-06-23 Uros Bizjak <ubizjak@gmail.com> * config/i386/i386.md (*fop_<mode>_1_i387): Use SSE_FLOAT_MODE_P diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 71de4be..1eaff57 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-06-23 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/36508 + * gcc.dg/pr36508.c: New test. + 2008-06-20 Joseph Myers <joseph@codesourcery.com> * gcc.dg/inline-31.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr36508.c b/gcc/testsuite/gcc.dg/pr36508.c new file mode 100644 index 0000000..3048992 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr36508.c @@ -0,0 +1,29 @@ +/* PR tree-optimization/36508 */ +/* { dg-do compile } */ +/* { dg-options "-O -ftree-pre" } */ + +void +foo (short *sp) +{ + int k; + k = 1; +#define SP0 *sp++ = 1; + while (1) + { + if (k > 6) + break; + SP0 + k++; + } + k = 1; + while (1) + { + if (k > 6) + break; + SP0 + k++; + } +#define SP1 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 SP0 +#define SP2 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 SP1 + SP2 +} diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 3f3aae7..423afe0 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2094,8 +2094,10 @@ compute_antic (void) block->index)); } } +#ifdef ENABLE_CHECKING /* Theoretically possible, but *highly* unlikely. */ - gcc_assert (num_iterations < 50); + gcc_assert (num_iterations < 500); +#endif } statistics_histogram_event (cfun, "compute_antic iterations", @@ -2124,8 +2126,10 @@ compute_antic (void) block->index)); } } +#ifdef ENABLE_CHECKING /* Theoretically possible, but *highly* unlikely. */ - gcc_assert (num_iterations < 50); + gcc_assert (num_iterations < 500); +#endif } statistics_histogram_event (cfun, "compute_partial_antic iterations", num_iterations); |