diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-20 14:31:47 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-20 14:31:47 +0200 |
| commit | 20250fb87c79d840eb23c51bbe63467910c14fd9 (patch) | |
| tree | 8b386d757c16c16568dbb9d414547e2d7eda794a /gcc/ada/sinfo.ads | |
| parent | 9e3be36e465b0699d161e1e1ff9a78fd216c2c60 (diff) | |
| download | gcc-20250fb87c79d840eb23c51bbe63467910c14fd9.zip gcc-20250fb87c79d840eb23c51bbe63467910c14fd9.tar.gz gcc-20250fb87c79d840eb23c51bbe63467910c14fd9.tar.bz2 | |
[multiple changes]
2016-06-20 Hristian Kirtchev <kirtchev@adacore.com>
* make.adb, gnatbind.adb, g-socket.adb, sem_ch13.adb: Minor
reformatting.
* lib.ads, sem_util.adb: Minor typo in comment.
2016-06-20 Yannick Moy <moy@adacore.com>
* sem_prag.adb, sem_prag.ads (Build_Pragma_Check_Equivalent):
Add parameter Keep_Pragma_Id to optionally keep
the identifier of the pragma instead of converting
to pragma Check. Also set type of new function call
appropriately. (Collect_Inherited_Class_Wide_Conditions):
Call Build_Pragma_Check_Equivalent with the new parameter
Keep_Pragma_Id set to True to keep the identifier of the copied
pragma.
* sinfo.ads: Add comment.
2016-06-20 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch7.adb (Build_Invariant_Procedure_Body):
Always install the scope of the invariant procedure
in order to produce better error messages. Do not
insert the body when the context is a generic unit.
(Build_Invariant_Procedure_Declaration): Perform minimal
decoration of the invariant procedure and its formal parameter
in case they are not analyzed. Do not insert the declaration
when the context is a generic unit.
From-SVN: r237600
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 4e8d51a..860f0d1c 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -7618,6 +7618,10 @@ package Sinfo is -- source, or because a Pre (resp. Post) aspect specification has been -- broken into AND THEN sections. See Split_PPC for details. + -- In GNATprove mode, the inherited classwide pre- and postconditions + -- (suitably specialized for the specific type of the overriding + -- operation) are also in this list. + -- Contract_Test_Cases contains a collection of pragmas that correspond -- to aspects/pragmas Contract_Cases and Test_Case. The ordering in the -- list is in LIFO fashion. |