diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2013-11-26 22:29:30 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-11-26 22:29:30 +0100 |
| commit | b168a8dfcc8e22dd932d460159d81291a9fe1ae6 (patch) | |
| tree | 407359a1473c6b19e60a324574dc162ae044dae0 /gcc/tree-vrp.c | |
| parent | 70ec86ee185d7527b392739bf72a0f37410ed0b4 (diff) | |
| download | gcc-b168a8dfcc8e22dd932d460159d81291a9fe1ae6.zip gcc-b168a8dfcc8e22dd932d460159d81291a9fe1ae6.tar.gz gcc-b168a8dfcc8e22dd932d460159d81291a9fe1ae6.tar.bz2 | |
re PR tree-optimization/59014 (wrong code at -Os and above on x86_64-linux-gnu)
PR tree-optimization/59014
* tree-vrp.c (register_edge_assert_for_1): Don't look
through conversions from non-integral types or through
narrowing conversions.
* gcc.c-torture/execute/pr59014.c: New test.
From-SVN: r205417
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 171a0f5..1ec9c16 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -5438,9 +5438,13 @@ register_edge_assert_for_1 (tree op, enum tree_code code, } else if (CONVERT_EXPR_CODE_P (gimple_assign_rhs_code (op_def))) { - /* Recurse through the type conversion. */ - retval |= register_edge_assert_for_1 (gimple_assign_rhs1 (op_def), - code, e, bsi); + /* Recurse through the type conversion, unless it is a narrowing + conversion or conversion from non-integral type. */ + tree rhs = gimple_assign_rhs1 (op_def); + if (INTEGRAL_TYPE_P (TREE_TYPE (rhs)) + && (TYPE_PRECISION (TREE_TYPE (rhs)) + <= TYPE_PRECISION (TREE_TYPE (op)))) + retval |= register_edge_assert_for_1 (rhs, code, e, bsi); } return retval; |