diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2016-01-11 18:56:39 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-01-11 18:56:39 +0100 |
| commit | 1ebd5558eb04938a62eaa8cbfaa24b0205326b87 (patch) | |
| tree | 2392d4d1604ee48729edf6ea5d71ab85cf6841c4 /gcc/tree-vrp.c | |
| parent | de41ebf5ddab45c643cfe8166c1d274ed4620d4f (diff) | |
| download | gcc-1ebd5558eb04938a62eaa8cbfaa24b0205326b87.zip gcc-1ebd5558eb04938a62eaa8cbfaa24b0205326b87.tar.gz gcc-1ebd5558eb04938a62eaa8cbfaa24b0205326b87.tar.bz2 | |
re PR tree-optimization/69214 (ICE (segfault) at -Os on x86_64-linux-gnu in "fail_abnormal_edge_coalesce")
PR tree-optimization/69214
* tree-vrp.c (simplify_cond_using_ranges): Don't propagate
innerop into a comparison if SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
Formatting fix.
* gcc.c-torture/compile/pr69214.c: New test.
From-SVN: r232235
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index e6c11e0..920a9b1 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -9478,7 +9478,8 @@ simplify_cond_using_ranges (gcond *stmt) if (TREE_CODE (innerop) == SSA_NAME && !POINTER_TYPE_P (TREE_TYPE (innerop)) - && desired_pro_or_demotion_p (TREE_TYPE (innerop), TREE_TYPE (op0))) + && !SSA_NAME_OCCURS_IN_ABNORMAL_PHI (innerop) + && desired_pro_or_demotion_p (TREE_TYPE (innerop), TREE_TYPE (op0))) { value_range *vr = get_value_range (innerop); @@ -9509,8 +9510,8 @@ simplify_cond_using_ranges (gcond *stmt) else location = gimple_location (stmt); warning_at (location, OPT_Wstrict_overflow, - "assuming signed overflow does not occur when " - "simplifying conditional"); + "assuming signed overflow does not occur when " + "simplifying conditional"); } tree newconst = fold_convert (TREE_TYPE (innerop), op1); |