tree-vrp.c (compare_values_warnv): Simplify handling of symbolic ranges by calling...
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 20 May 2016 21:46:58 +0000 (21:46 +0000)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Fri, 20 May 2016 21:46:58 +0000 (21:46 +0000)
commit55c8849f5d8ca231dba2e4ed2c40c4d435c84ae3
tree0b4f1df898e1cc3a5d61e29748c1888ebaa51560
parentaa6d7407f90130dfea5df768787ce5c46c87f07b
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
gcc/ChangeLog
gcc/ada/ChangeLog
gcc/ada/gcc-interface/decl.c
gcc/ada/gcc-interface/utils.c
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/opt53.adb [new file with mode: 0644]
gcc/testsuite/gnat.dg/opt54.adb [new file with mode: 0644]
gcc/tree-vrp.c