re PR testsuite/69586 (FAIL: gcc.dg/uninit-21.c for target defaulting to short enum)

2016-02-16  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/69586
	* tree-vrp.c (register_edge_assert_for_2): Handle all integral
	types for conversion sources.

From-SVN: r233445

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bb58d51c2e3e42fed22eb951b02c910022a307d8..b7878906b9bcd10db0475ce4c0849126a08b8bf4 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-02-16  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/69586
+       * tree-vrp.c (register_edge_assert_for_2): Handle all integral
+       types for conversion sources.
+
 2016-02-16  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/69801

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 9644ba1acfa2234c7f80f82e85df7bef01afb457..0ce7f1fde5aed18a1e3e9fa4861144c08e3b488d 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -5449,7 +5449,7 @@ register_edge_assert_for_2 (tree name, edge e, gimple_stmt_iterator bsi,
       cst2 = NULL_TREE;
       if (rhs_code == BIT_AND_EXPR
          || (CONVERT_EXPR_CODE_P (rhs_code)
-             && TREE_CODE (TREE_TYPE (val)) == INTEGER_TYPE
+             && INTEGRAL_TYPE_P (TREE_TYPE (val))
              && TYPE_UNSIGNED (TREE_TYPE (val))
              && TYPE_PRECISION (TREE_TYPE (gimple_assign_rhs1 (def_stmt)))
                 > prec))