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/decl.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/decl.c')
| -rw-r--r-- | gcc/ada/gcc-interface/decl.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/ada/gcc-interface/decl.c b/gcc/ada/gcc-interface/decl.c index b51200f..6b6bc07 100644 --- a/gcc/ada/gcc-interface/decl.c +++ b/gcc/ada/gcc-interface/decl.c @@ -1814,7 +1814,12 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, bool definition) /* First subtypes of Character are treated as Character; otherwise this should be an unsigned type if the base type is unsigned or if the lower bound is constant and non-negative or if the type - is biased. */ + is biased. However, even if the lower bound is constant and + non-negative, we use a signed type for a subtype with the same + size as its signed base type, because this eliminates useless + conversions to it and gives more leeway to the optimizer; but + this means that we will need to explicitly test for this case + when we change the representation based on the RM size. */ if (kind == E_Enumeration_Subtype && No (First_Literal (Etype (gnat_entity))) && Esize (gnat_entity) == RM_Size (gnat_entity) @@ -1822,7 +1827,8 @@ gnat_to_gnu_entity (Entity_Id gnat_entity, tree gnu_expr, bool definition) && flag_signed_char) gnu_type = make_signed_type (CHAR_TYPE_SIZE); else if (Is_Unsigned_Type (Etype (gnat_entity)) - || Is_Unsigned_Type (gnat_entity) + || (Esize (Etype (gnat_entity)) != Esize (gnat_entity) + && Is_Unsigned_Type (gnat_entity)) || Has_Biased_Representation (gnat_entity)) gnu_type = make_unsigned_type (esize); else |