diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:17:46 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:17:46 +0200 |
| commit | bd65a2d74050033a6edbb61871bb2e57b9df6eb2 (patch) | |
| tree | e10f4754a39287ad20096cfb93f40edf8cf10f77 /gcc/ada/restrict.adb | |
| parent | d4487611a99773fb4022999be28e0f1cf163f838 (diff) | |
| download | gcc-bd65a2d74050033a6edbb61871bb2e57b9df6eb2.zip gcc-bd65a2d74050033a6edbb61871bb2e57b9df6eb2.tar.gz gcc-bd65a2d74050033a6edbb61871bb2e57b9df6eb2.tar.bz2 | |
[multiple changes]
2011-08-02 Yannick Moy <moy@adacore.com>
* errout.adb, errout.ads (Check_Formal_Restriction): move procedure
from here...
* restrict.adb, restrict.ads (Check_Formal_Restriction): ...to here
* sem_aggr.adb, sem_ch5.adb, sem_util.adb:
Add with/use clauses to make Check_Formal_Restriction visible
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Check_Generic_Actuals): handle properly actual
in-parameters when type of the generic formal is private in the generic
spec and non-private in the body.
2011-08-02 Claire Dross <dross@adacore.com>
* a-cfdlli.adb, a-cfdlli.ads, a-cfhase.adb, a-cfhase.ads, a-cfhama.adb,
a-cfhama.ads, a-cforse.adb, a-cforse.ads, a-cforma.adb, a-cforma.ads,
a-cofove.adb, a-cofove.ads: New files implementing formal containers.
* impunit.adb, Makefile.rtl: Take new files into account.
From-SVN: r177102
Diffstat (limited to 'gcc/ada/restrict.adb')
| -rw-r--r-- | gcc/ada/restrict.adb | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/ada/restrict.adb b/gcc/ada/restrict.adb index 755aabc..42746f1 100644 --- a/gcc/ada/restrict.adb +++ b/gcc/ada/restrict.adb @@ -105,6 +105,19 @@ package body Restrict is Check_Restriction (No_Elaboration_Code, N); end Check_Elaboration_Code_Allowed; + ------------------------------ + -- Check_Formal_Restriction -- + ------------------------------ + + procedure Check_Formal_Restriction (Msg : String; N : Node_Id) is + begin + if Formal_Verification_Mode + and then Comes_From_Source (Original_Node (N)) + then + Error_Msg_F ("|~~" & Msg, N); + end if; + end Check_Formal_Restriction; + ----------------------------------------- -- Check_Implicit_Dynamic_Code_Allowed -- ----------------------------------------- |