diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2016-05-20 21:46:58 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2016-05-20 21:46:58 +0000 |
| commit | 55c8849f5d8ca231dba2e4ed2c40c4d435c84ae3 (patch) | |
| tree | 0b4f1df898e1cc3a5d61e29748c1888ebaa51560 /gcc/ada/gcc-interface/utils.c | |
| parent | aa6d7407f90130dfea5df768787ce5c46c87f07b (diff) | |
| download | gcc-55c8849f5d8ca231dba2e4ed2c40c4d435c84ae3.zip gcc-55c8849f5d8ca231dba2e4ed2c40c4d435c84ae3.tar.gz gcc-55c8849f5d8ca231dba2e4ed2c40c4d435c84ae3.tar.bz2 | |
tree-vrp.c (compare_values_warnv): Simplify handling of symbolic ranges by calling get_single_symbol and tidy up.
* tree-vrp.c (compare_values_warnv): Simplify handling of symbolic
ranges by calling get_single_symbol and tidy up. Look more closely
into NAME + CST1 vs CST2 comparisons if type overflow is undefined.
ada/
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Signed_Integer_Subtype>:
Make same-sized subtypes of signed base types signed.
* gcc-interface/utils.c (make_type_from_size): Adjust to above change.
(unchecked_convert): Likewise.
From-SVN: r236548
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
| -rw-r--r-- | gcc/ada/gcc-interface/utils.c | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/gcc/ada/gcc-interface/utils.c b/gcc/ada/gcc-interface/utils.c index 7494065..798048a 100644 --- a/gcc/ada/gcc-interface/utils.c +++ b/gcc/ada/gcc-interface/utils.c @@ -1116,7 +1116,14 @@ make_type_from_size (tree type, tree size_tree, bool for_biased) break; biased_p |= for_biased; - if (TYPE_UNSIGNED (type) || biased_p) + + /* The type should be an unsigned type if the original type is unsigned + or if the lower bound is constant and non-negative or if the type is + biased, see E_Signed_Integer_Subtype case of gnat_to_gnu_entity. */ + if (TYPE_UNSIGNED (type) + || (TREE_CODE (TYPE_MIN_VALUE (type)) == INTEGER_CST + && tree_int_cst_sgn (TYPE_MIN_VALUE (type)) >= 0) + || biased_p) new_type = make_unsigned_type (size); else new_type = make_signed_type (size); @@ -5111,7 +5118,9 @@ unchecked_convert (tree type, tree expr, bool notrunc_p) /* If the result is an integral type whose precision is not equal to its size, sign- or zero-extend the result. We need not do this if the input is an integral type of the same precision and signedness or if the output - is a biased type or if both the input and output are unsigned. */ + is a biased type or if both the input and output are unsigned, or if the + lower bound is constant and non-negative, see E_Signed_Integer_Subtype + case of gnat_to_gnu_entity. */ if (!notrunc_p && INTEGRAL_TYPE_P (type) && TYPE_RM_SIZE (type) @@ -5123,7 +5132,10 @@ unchecked_convert (tree type, tree expr, bool notrunc_p) ? TYPE_RM_SIZE (etype) : TYPE_SIZE (etype)) == 0) && !(code == INTEGER_TYPE && TYPE_BIASED_REPRESENTATION_P (type)) - && !(TYPE_UNSIGNED (type) && TYPE_UNSIGNED (etype))) + && !((TYPE_UNSIGNED (type) + || (TREE_CODE (TYPE_MIN_VALUE (type)) == INTEGER_CST + && tree_int_cst_sgn (TYPE_MIN_VALUE (type)) >= 0)) + && TYPE_UNSIGNED (etype))) { tree base_type = gnat_type_for_size (TREE_INT_CST_LOW (TYPE_SIZE (type)), |