diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 15:04:40 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-24 15:04:40 +0200 |
| commit | dba44dbef91efd698ead6dcce7b19a24a4522000 (patch) | |
| tree | d41774edc5e71ca4dd9eb0d1a97fbbbe701d2d1e /gcc/ada/exp_ch13.adb | |
| parent | ca3e17b09114fea7ff08ed215ae79482ad16b706 (diff) | |
| download | gcc-dba44dbef91efd698ead6dcce7b19a24a4522000.zip gcc-dba44dbef91efd698ead6dcce7b19a24a4522000.tar.gz gcc-dba44dbef91efd698ead6dcce7b19a24a4522000.tar.bz2 | |
[multiple changes]
2013-04-24 Robert Dewar <dewar@adacore.com>
* exp_ch13.adb, sem_prag.adb: Update comments.
* sem_ch3.adb, exp_ch9.adb, g-socket.adb, sem_ch13.adb: Minor
reformatting.
2013-04-24 Doug Rupp <rupp@adacore.com>
* vms_data.ads (/{NO}INHIBIT-EXEC): Document new default behavior.
2013-04-24 Yannick Moy <moy@adacore.com>
* sinfo.ads: Minor correction of typo.
From-SVN: r198223
Diffstat (limited to 'gcc/ada/exp_ch13.adb')
| -rw-r--r-- | gcc/ada/exp_ch13.adb | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch13.adb b/gcc/ada/exp_ch13.adb index d6525b2..24e5e39 100644 --- a/gcc/ada/exp_ch13.adb +++ b/gcc/ada/exp_ch13.adb @@ -567,19 +567,26 @@ package body Exp_Ch13 is then declare Prag : Node_Id; + begin + -- Comment this loop ??? + Prag := Pre_Post_Conditions (Contract (E)); while Present (Prag) loop Analyze_PPC_In_Decl_Part (Prag, E); - Prag := Next_Pragma (Prag); end loop; + -- Why don't we do the same for Contract_Test_Cases ??? + + -- Comment this loop? + Prag := Classifications (Contract (E)); while Present (Prag) loop if Pragma_Name (Prag) = Name_Depends then Analyze_Depends_In_Decl_Part (Prag); else + pragma Assert (Pragma_Name (Prag) = Name_Global); Analyze_Global_In_Decl_Part (Prag); end if; |