sem_elab.adb: Minor reformatting
2011-11-21 Gary Dismukes <dismukes@adacore.com> * sem_elab.adb: Minor reformatting From-SVN: r181562
This commit is contained in:
parent
301680433d
commit
4bf201ed2f
@ -1,3 +1,23 @@
|
||||
2011-11-21 Gary Dismukes <dismukes@adacore.com>
|
||||
|
||||
* sem_elab.adb: Minor reformatting
|
||||
|
||||
2011-11-21 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* exp_ch6.adb: Minor reformatting.
|
||||
|
||||
2011-11-21 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* sem_ch12.adb (Check_Formal_Package_Instance): If a formal
|
||||
subprogram of the formal package is covered by an others
|
||||
association with a box initialization, no check is needed
|
||||
against the actual in the instantiation of the formal package.
|
||||
|
||||
2011-11-21 Robert Dewar <dewar@adacore.com>
|
||||
|
||||
* sem_elab.adb (Check_Internal_Call_Continue): Suppress junk
|
||||
elab warning from within precondition/postcondition etc.
|
||||
|
||||
2011-11-21 Ed Schonberg <schonberg@adacore.com>
|
||||
|
||||
* exp_ch6.adb (Expand_Actuals): In Ada 2012, a function call
|
||||
|
@ -2133,7 +2133,7 @@ package body Sem_Elab is
|
||||
-- been encountered. A warning message is needed, except if this is the
|
||||
-- case of appearing within an aspect specification that results in
|
||||
-- a check call, we do not really have such a situation, so no warning
|
||||
-- is needed (e.g., the case of a precondition, where the call appears
|
||||
-- is needed (e.g. the case of a precondition, where the call appears
|
||||
-- textually before the body, but in actual fact is moved to the
|
||||
-- appropriate subprogram body and so does not need a check).
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user