diff options
| author | Richard Guenther <rguenther@suse.de> | 2010-04-06 12:32:25 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-04-06 12:32:25 +0000 |
| commit | 56186ac266ccf826d53ecc39dd60fb03fbe93523 (patch) | |
| tree | 2f14f42f42d043356e4dcb409a2fe721ee4ea3b1 /gcc/testsuite/gcc.dg/tree-ssa/vrp49.c | |
| parent | d3bccded30236d16e477a7bbd79aff51724234b0 (diff) | |
| download | gcc-56186ac266ccf826d53ecc39dd60fb03fbe93523.zip gcc-56186ac266ccf826d53ecc39dd60fb03fbe93523.tar.gz gcc-56186ac266ccf826d53ecc39dd60fb03fbe93523.tar.bz2 | |
re PR tree-optimization/43627 (slow compilation (tree canonical iv takes 75%))
2010-04-06 Richard Guenther <rguenther@suse.de>
PR tree-optimization/43627
* tree-vrp.c (extract_range_from_unary_expr): Widenings
of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
not varying.
* gcc.dg/tree-ssa/vrp49.c: New testcase.
From-SVN: r157992
Diffstat (limited to 'gcc/testsuite/gcc.dg/tree-ssa/vrp49.c')
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/vrp49.c | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c new file mode 100644 index 0000000..664ad93 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp49.c @@ -0,0 +1,28 @@ +/* { dg-do link } */ +/* { dg-options "-O2" } */ + +extern void link_error (void) __attribute__((noreturn)); +int n; +float *x; +int main() +{ + if (n > 0) + { + int i = 0; + do + { + long long index; + i = i + 1; + index = i; + if (index <= 0) + link_error (); + x[index] = 0; + i = i + 1; + index = i; + if (index <= 0) + link_error (); + x[index] = 0; + } + while (i < n); + } +} |