diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2016-11-24 12:02:53 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2016-11-24 12:02:53 +0000 |
| commit | 3b08cde8dd2b27740e04a6f0e531f2c086a9ec1b (patch) | |
| tree | ff79e8ab3cb9680654f64078b74a188db96fca41 /gcc/tree.c | |
| parent | bf2df7a9b39897740e6b2fc8c03b1b195748c98f (diff) | |
| download | gcc-3b08cde8dd2b27740e04a6f0e531f2c086a9ec1b.zip gcc-3b08cde8dd2b27740e04a6f0e531f2c086a9ec1b.tar.gz gcc-3b08cde8dd2b27740e04a6f0e531f2c086a9ec1b.tar.bz2 | |
re PR middle-end/78429 (ICE in set_value_range, at tree-vrp.c on non-standard boolean)
PR middle-end/78429
* tree.h (wi::fits_to_boolean_p): New predicate.
(wi::fits_to_tree_p): Use it for boolean types.
* tree.c (int_fits_type_p): Likewise.
From-SVN: r242829
Diffstat (limited to 'gcc/tree.c')
| -rw-r--r-- | gcc/tree.c | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -9144,10 +9144,10 @@ int_fits_type_p (const_tree c, const_tree type) bool ok_for_low_bound, ok_for_high_bound; signop sgn_c = TYPE_SIGN (TREE_TYPE (c)); - /* Short-circuit boolean types since various transformations assume that - they can only take values 0 and 1. */ + /* Non-standard boolean types can have arbitrary precision but various + transformations assume that they can only take values 0 and +/-1. */ if (TREE_CODE (type) == BOOLEAN_TYPE) - return integer_zerop (c) || integer_onep (c); + return wi::fits_to_boolean_p (c, type); retry: type_low_bound = TYPE_MIN_VALUE (type); |