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.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142962 138bc75d-0d04-0410-961f-82ee72b054a4

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 00000000000..89d228f02d0
--- /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 ();
+	}
+    }
+}