r213560 - in /trunk/gcc/ada: ChangeLog a-cfhama...

[charlet@gcc.gnu.org]

Author: charlet
Date: Mon Aug  4 10:10:23 2014
New Revision: 213560

URL: https://gcc.gnu.org/viewcvs?rev=213560&root=gcc&view=rev
Log:
2014-08-04  Arnaud Charlet  <charlet@adacore.com>

	* sem_scil.ads: Improve comments.
	* sem_ch4.adb (Analyze_Equality_Op): Add support for
	Allow_Integer_Address (equality between Address and Integer).

2014-08-04  Yannick Moy  <moy@adacore.com>

	* a-cfhama.adb, a-cforse.adb: Minor fixes to avoid using prefix
	notation on untagged objects.
	* sem.ads: Update comment.
	* inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Do
	not inline subprograms declared in the visible part of a package.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/a-cfhama.adb
    trunk/gcc/ada/a-cforse.adb
    trunk/gcc/ada/inline.adb
    trunk/gcc/ada/sem.ads
    trunk/gcc/ada/sem_ch4.adb