From: Richard Biener Date: Tue, 16 Feb 2016 09:00:32 +0000 (+0000) Subject: re PR testsuite/69586 (FAIL: gcc.dg/uninit-21.c for target defaulting to short enum) X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4cb5f5a366efff0317dd0a432a56464eafb6f3f4;p=gcc.git re PR testsuite/69586 (FAIL: gcc.dg/uninit-21.c for target defaulting to short enum) 2016-02-16 Richard Biener 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 bb58d51c2e3..b7878906b9b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-02-16 Richard Biener + + PR tree-optimization/69586 + * tree-vrp.c (register_edge_assert_for_2): Handle all integral + types for conversion sources. + 2016-02-16 Richard Biener PR middle-end/69801 diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 9644ba1acfa..0ce7f1fde5a 100644 --- 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))