r244620 - in /trunk/gcc/ada: ChangeLog checks.a...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Jan 19 11:51:22 2017
New Revision: 244620

URL: https://gcc.gnu.org/viewcvs?rev=244620&root=gcc&view=rev
Log:
2017-01-19  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch4.ads, sem_ch4.adb (Try_Object_Operation): Make subprogram
	public, for use elsewhere.
	* sem_ch6.adb (Analyze_Procedure_Call): In SPARK_Mode and within
	an Inlined_body, recognize a call that uses object notation
	and has not been rewritten as a regular call because regular
	expansion has not taken place.

2017-01-19  Bob Duff  <duff@adacore.com>

	* checks.adb (Apply_Type_Conversion_Checks): Disable small optimization
	in case of generic formal discrete types, because it causes crashes in
	the compiler when built with assertions on.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/checks.adb
    trunk/gcc/ada/sem_ch4.adb
    trunk/gcc/ada/sem_ch4.ads
    trunk/gcc/ada/sem_ch6.adb