diff options
| author | Vladislav Ivanishin <vlad@ispras.ru> | 2019-05-21 10:39:05 +0000 |
|---|---|---|
| committer | Vladislav Ivanishin <vlad@gcc.gnu.org> | 2019-05-21 10:39:05 +0000 |
| commit | 0f8e84c609c67456965b20e1274e7dca3db9ab05 (patch) | |
| tree | e8164610a69f92b3f89415f8d116e7cf42e4dd2c /gcc/tree-cfg.c | |
| parent | 36902ed6bdeafc86e1f9b1778a1138b21580cc93 (diff) | |
| download | gcc-0f8e84c609c67456965b20e1274e7dca3db9ab05.zip gcc-0f8e84c609c67456965b20e1274e7dca3db9ab05.tar.gz gcc-0f8e84c609c67456965b20e1274e7dca3db9ab05.tar.bz2 | |
tree-ssa-uninit: suppress more spurious warnings
* tree-ssa-uninit.c (value_sat_pred_p): This new function is a wrapper
around is_value_included_in that knows how to handle BIT_AND_EXPR.
(is_pred_expr_subset_of): Use the new function. Handle more cases where
code1 == EQ_EXPR and where code1 == BIT_AND_EXPR and thus fix some false
positives.
testsuite/
* gcc.dg/uninit-28-gimple.c: New test.
* gcc.dg/uninit-29-gimple.c: New test.
* gcc.dg/uninit-30-gimple.c: New test.
* gcc.dg/uninit-31-gimple.c: New test.
From-SVN: r271460
Diffstat (limited to 'gcc/tree-cfg.c')
0 files changed, 0 insertions, 0 deletions