re PR middle-end/35545 (tracer pass is run too late)

	PR middle-end/35535
	* tree-vrp.c (extract_range_from_unary_expr_1): Handle OBJ_TYPE_REF.

From-SVN: r206073

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a90f8af0d80008beb13dd1a9665c5495994c38e5..6ce6a601181f38c3d97de5727cefb2f3158977da 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-12-17  Jan Hubicka  <hubicka@ucw.cz>
+
+       PR middle-end/35535
+       * tree-vrp.c (extract_range_from_unary_expr_1): Handle OBJ_TYPE_REF.
+
 2013-12-17  Teresa Johnson  <tejohnson@google.com>
 
        PR gcov-profile/59527

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 4de7c4d9199b22c4367ecb9aeb50579dc722fae4..d10abe953e4fdeb1fc7dc3e94f1aad3e066f7642 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -3202,9 +3202,9 @@ extract_range_from_unary_expr_1 (value_range_t *vr,
     }
 
   /* Handle operations that we express in terms of others.  */
-  if (code == PAREN_EXPR)
+  if (code == PAREN_EXPR || code == OBJ_TYPE_REF)
     {
-      /* PAREN_EXPR is a simple copy.  */
+      /* PAREN_EXPR and OBJ_TYPE_REF are simple copies.  */
       copy_value_range (vr, &vr0);
       return;
     }