diff options
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 795b027..d962683 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -5382,13 +5382,11 @@ register_edge_assert_for_2 (tree name, edge e, gimple_stmt_iterator bsi, } else if (CONVERT_EXPR_CODE_P (code)) { - /* For truncating conversions require that the constant - fits in the truncated type if we are going to record + /* For truncating conversions we cannot record an inequality. */ if (comp_code == NE_EXPR && (TYPE_PRECISION (TREE_TYPE (name2)) - < TYPE_PRECISION (TREE_TYPE (name))) - && ! int_fits_type_p (val, TREE_TYPE (name2))) + < TYPE_PRECISION (TREE_TYPE (name)))) continue; cst = fold_convert (TREE_TYPE (name2), val); } |