r217848 - in /trunk/gcc/ada: ChangeLog exp_dist...

[charlet@gcc.gnu.org]

Author: charlet
Date: Thu Nov 20 11:52:08 2014
New Revision: 217848

URL: https://gcc.gnu.org/viewcvs?rev=217848&root=gcc&view=rev
Log:
2014-11-20  Robert Dewar  <dewar@adacore.com>

	* gnatcmd.adb, sem_ch6.adb, exp_dist.adb: Minor reformatting.
	* sem_util.adb (Bad_Unordered_Enumeration_Reference): Suppress
	warning (return False) for generic type.

2014-11-20  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_res.adb (Appears_In_Check): Removed.
	(Is_OK_Volatile_Context): Rewrite the checks which verify that
	an effectively volatile object subject to enabled properties
	Async_Writers or Effective_Reads appears in a suitable context to
	properly recognize a procedure call.
	(Within_Check): New routine.
	(Within_Procedure_Call): New routine.


Modified:
    trunk/gcc/ada/ChangeLog
    trunk/gcc/ada/exp_dist.adb
    trunk/gcc/ada/gnatcmd.adb
    trunk/gcc/ada/sem_ch6.adb
    trunk/gcc/ada/sem_res.adb
    trunk/gcc/ada/sem_util.adb