tree-ssa-ccp.c (get_default_value): Remove redundant condition checks.

       * tree-ssa-ccp.c (get_default_value): Remove redundant condition
       checks.

From-SVN: r201870

gcc/ChangeLog

+2013-08-20  Zhouyi Zhou <yizhouzhou@ict.ac.cn>
+
+	* tree-ssa-ccp.c (get_default_value): Remove redundant condition
+	checks.
+
 2013-08-20  David Malcolm  <dmalcolm@redhat.com>
 
 	Make opt_pass and gcc::pass_manager be GC-managed, so that pass

gcc/tree-ssa-ccp.c

@@ -258,12 +258,7 @@ get_default_value (tree var)
 	  val.mask = double_int_minus_one;
 	}
     }
-  else if (is_gimple_assign (stmt)
-	   /* Value-returning GIMPLE_CALL statements assign to
-	      a variable, and are treated similarly to GIMPLE_ASSIGN.  */
-	   || (is_gimple_call (stmt)
-	       && gimple_call_lhs (stmt) != NULL_TREE)
-	   || gimple_code (stmt) == GIMPLE_PHI)
+  else if (is_gimple_assign (stmt))
     {
       tree cst;
       if (gimple_assign_single_p (stmt)
@@ -274,8 +269,18 @@ get_default_value (tree var)
 	  val.value = cst;
 	}
       else
-	/* Any other variable defined by an assignment or a PHI node
-	   is considered UNDEFINED.  */
+	{
+	  /* Any other variable defined by an assignment is considered
+	     UNDEFINED.  */
+	  val.lattice_val = UNDEFINED;
+	}
+    }
+  else if ((is_gimple_call (stmt)
+	    && gimple_call_lhs (stmt) != NULL_TREE)
+	   || gimple_code (stmt) == GIMPLE_PHI)
+    {
+      /* A variable defined by a call or a PHI node is considered
+	 UNDEFINED.  */
       val.lattice_val = UNDEFINED;
     }
   else