r236548 - in /trunk/gcc: ChangeLog ada/ChangeLo...

[ebotcazou@gcc.gnu.org]

Author: ebotcazou
Date: Fri May 20 21:46:58 2016
New Revision: 236548

URL: https://gcc.gnu.org/viewcvs?rev=236548&root=gcc&view=rev
Log:
	* 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.

Added:
    trunk/gcc/testsuite/gnat.dg/opt53.adb
    trunk/gcc/testsuite/gnat.dg/opt54.adb
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/gcc-interface/decl.c
    trunk/gcc/ada/gcc-interface/utils.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c