diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2008-12-30 10:36:39 +0000 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gcc.gnu.org> | 2008-12-30 10:36:39 +0000 |
| commit | 0251119434aa47b54143b96a89b66e7206205765 (patch) | |
| tree | dff617f60fb29bcb714b70cce7fcdc2dbf630d62 /gcc/testsuite/g++.dg | |
| parent | b0331ccbe2cd52043b328f1bbd07f8f75bc9b97e (diff) | |
| download | gcc-0251119434aa47b54143b96a89b66e7206205765.zip gcc-0251119434aa47b54143b96a89b66e7206205765.tar.gz gcc-0251119434aa47b54143b96a89b66e7206205765.tar.bz2 | |
re PR middle-end/38572 (ICE in set_value_range, at tree-vrp.c:398)
2008-12-30 Paolo Bonzini <bonzini@gnu.org>
PR tree-optimization/38572
* tree-vrp.c (vrp_visit_phi_node): Look out for invalid ranges
and change them to VARYING.
From-SVN: r142962
Diffstat (limited to 'gcc/testsuite/g++.dg')
| -rw-r--r-- | gcc/testsuite/g++.dg/tree-ssa/pr38572.C | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/tree-ssa/pr38572.C b/gcc/testsuite/g++.dg/tree-ssa/pr38572.C new file mode 100644 index 0000000..89d228f --- /dev/null +++ b/gcc/testsuite/g++.dg/tree-ssa/pr38572.C @@ -0,0 +1,32 @@ +// PR tree-optimization/38572 +// { dg-do compile } +// { dg-options "-O2" } + +// Crash caused by the out-of-bounds enum values (all the remaining cruft +// is needed only to trigger the appropriate code path in tree-vrp.c). +enum JSOp +{ + JSOP_GETELEM = 5, + JSOP_LIMIT +}; +extern void g (); +void f (char *pc, char *endpc, int format, char ***fp, enum JSOp op) +{ + while (pc <= endpc) + { + if ((fp && *fp && pc == **fp) || pc == endpc) + { + if (format == 1) + op = (JSOp) 256; + else if (format == 2) + op = (JSOp) 257; + else + op = JSOP_GETELEM; + } + if (op >= JSOP_LIMIT) + { + if (format) + g (); + } + } +} |