diff options
| author | Vladislav Ivanishin <vlad@ispras.ru> | 2019-05-16 12:36:33 +0000 |
|---|---|---|
| committer | Alexander Monakov <amonakov@gcc.gnu.org> | 2019-05-16 15:36:33 +0300 |
| commit | 74a96dd28c997a55344c201baeed409e9e4ce7af (patch) | |
| tree | f3a06302d57d8915faa04cfa381930c2438ad6de /gcc/tree-ssa-uninit.c | |
| parent | 0bc229dbbe2a109ea39d08ced1bb296c59bcd120 (diff) | |
| download | gcc-74a96dd28c997a55344c201baeed409e9e4ce7af.zip gcc-74a96dd28c997a55344c201baeed409e9e4ce7af.tar.gz gcc-74a96dd28c997a55344c201baeed409e9e4ce7af.tar.bz2 | |
tree-ssa-uninit: avoid ICE with BIT_AND_EXPR (PR 90394)
2019-05-16 Vladislav Ivanishin <vlad@ispras.ru>
PR tree-optimization/90394
* tree-ssa-uninit.c (is_pred_expr_subset_of): Potentially give false
positives rather than ICE for cases where (code2 == NE_EXPR
&& code1 == BIT_AND_EXPR).
testsuite/
* gcc.dg/uninit-pr90394-1-gimple.c: New test.
* gcc.dg/uninit-pr90394.c: New test.
From-SVN: r271287
Diffstat (limited to 'gcc/tree-ssa-uninit.c')
| -rw-r--r-- | gcc/tree-ssa-uninit.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-uninit.c b/gcc/tree-ssa-uninit.c index 7362e37..b89da40 100644 --- a/gcc/tree-ssa-uninit.c +++ b/gcc/tree-ssa-uninit.c @@ -1471,7 +1471,7 @@ is_pred_expr_subset_of (pred_info expr1, pred_info expr2) if (code2 == NE_EXPR && code1 == NE_EXPR) return false; - if (code2 == NE_EXPR) + if (code2 == NE_EXPR && code1 != BIT_AND_EXPR) return !is_value_included_in (expr2.pred_rhs, expr1.pred_rhs, code1); if ((code1 == EQ_EXPR || code1 == BIT_AND_EXPR) && code2 == BIT_AND_EXPR) |