2014-11-20 Robert Dewar <dewar@adacore.com>
commite462d82548499024022caf3b687856b631f69403
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 20 Nov 2014 11:52:08 +0000 (20 11:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 20 Nov 2014 11:52:08 +0000 (20 11:52 +0000)
tree17d27b8748b96061f9da279b7ecbab8beb04add1
parentdc353d9b65c0f7aebd142fbb89460335e285af6d
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@217848 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/exp_dist.adb
gcc/ada/gnatcmd.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_res.adb
gcc/ada/sem_util.adb