PR tree-optimization/57411

	* tree-vrp.c (simplify_cond_using_ranges): Verify the constant
	operand of the condition will bit into the new type when eliminating
	a cast feeding a condition.

	PR tree-optimization/57411
	* gcc.c-torture/execute/pr57144.c: New test.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4bd0ea7..5d16636 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2013-05-03  Jeff Law  <law@redhat.com>
+
+       PR tree-optimization/57411
+       * tree-vrp.c (simplify_cond_using_ranges): Verify the constant
+       operand of the condition will bit into the new type when eliminating
+       a cast feeding a condition.
+
 2013-05-03  Jakub Jelinek  <jakub@redhat.com>
 
        PR rtl-optimization/57130

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 25a131c..1322477 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-02  Jeff Law  <law@redhat.com>
+
+       PR tree-optimization/57411
+       * gcc.c-torture/execute/pr57144.c: New test.
+
 2013-05-03  Jakub Jelinek  <jakub@redhat.com>
 
        PR rtl-optimization/57130

diff --git a/gcc/testsuite/gcc.c-torture/execute/pr57144.c b/gcc/testsuite/gcc.c-torture/execute/pr57144.c
new file mode 100644 (file)
index 0000000..ffa2df4
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr57144.c
@@ -0,0 +1,19 @@
+extern void abort (void);
+extern void exit (int);
+
+void __attribute__ ((noinline))
+foo(int a)
+{
+  int z = a > 0 ? a : -a;
+  long long x = z;
+  if (x > 0x100000000LL)
+    abort ();
+  else
+    exit (0);
+}
+
+int
+main()
+{
+  foo (1);
+}

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 6ed353f..b5de683 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -8668,7 +8668,8 @@ simplify_cond_using_ranges (gimple stmt)
          if (range_int_cst_p (vr)
              && range_fits_type_p (vr,
                                    TYPE_PRECISION (TREE_TYPE (op0)),
-                                   TYPE_UNSIGNED (TREE_TYPE (op0))))
+                                   TYPE_UNSIGNED (TREE_TYPE (op0)))
+             && int_fits_type_p (op1, TREE_TYPE (innerop)))
            {
              tree newconst = fold_convert (TREE_TYPE (innerop), op1);
              gimple_cond_set_lhs (stmt, innerop);