diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2017-04-25 08:51:44 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2017-04-25 06:51:44 +0000 |
| commit | bb0249cbb7500772af1bfcc68f8929d60f6cb51f (patch) | |
| tree | e90536cb0cd55db656121748d26aa28fc47667d9 /gcc/fold-const.c | |
| parent | 452e929aae6965414b9fd85c23de7cd57e9f174b (diff) | |
| download | gcc-bb0249cbb7500772af1bfcc68f8929d60f6cb51f.zip gcc-bb0249cbb7500772af1bfcc68f8929d60f6cb51f.tar.gz gcc-bb0249cbb7500772af1bfcc68f8929d60f6cb51f.tar.bz2 | |
Let tree_single_nonzero_warnv_p use range information
2017-04-25 Marc Glisse <marc.glisse@inria.fr>
gcc/
* fold-const.c (tree_single_nonzero_warnv_p): Handle SSA_NAME.
gcc/testsuite/
* gcc.dg/tree-ssa/cmpmul-1.c: New file.
* gcc.dg/Wstrict-overflow-18.c: Xfail.
From-SVN: r247123
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 4ae21fb..f0b8e7a 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -13412,6 +13412,11 @@ tree_single_nonzero_warnv_p (tree t, bool *strict_overflow_p) } break; + case SSA_NAME: + if (!INTEGRAL_TYPE_P (TREE_TYPE (t))) + break; + return expr_not_equal_to (t, wi::zero (TYPE_PRECISION (TREE_TYPE (t)))); + default: break; } |