diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-19 12:37:41 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-19 12:37:41 +0200 |
| commit | e606088aa9a3e732484cf7b701dc1e59e3bd9f69 (patch) | |
| tree | 3a8f635ec7941d35e5630c74c102a5b8ac101976 /gcc/ada/usage.adb | |
| parent | c95e0edc4588b3811bec2fc4d4aa1bf0b7a0456a (diff) | |
| download | gcc-e606088aa9a3e732484cf7b701dc1e59e3bd9f69.zip gcc-e606088aa9a3e732484cf7b701dc1e59e3bd9f69.tar.gz gcc-e606088aa9a3e732484cf7b701dc1e59e3bd9f69.tar.bz2 | |
[multiple changes]
2010-10-19 Geert Bosch <bosch@adacore.com>
* ttypef.ads: Change VAXDF_Last to be -VAXDF_First, as type is
symmetric.
2010-10-19 Robert Dewar <dewar@adacore.com>
* atree.h (Field29): Fix incorrect definition.
* einfo.adb (Invariant_Procedure): New attribute
(Has_Invariants): New flag
(Has_Inheritable_Invariants): New flag
(OK_To_Reference): New flag
Minor code reorganization (use Next_Rep_Item function)
* einfo.ads (Invariant_Procedure): New attribute
(Has_Invariants): New flag
(Has_Inheritable_Invariants): New flag
(OK_To_Reference): New flag
* exp_ch3.adb (Expand_N_Object_Declaration): Add check for invariant
* exp_ch4.adb (Expand_N_Type_Conversion): Check invariant on type
conversion. Minor reformatting.
* exp_util.ads, exp_util.adb (Make_Invariant_Call): New procedure.
* opt.ads (List_Inherited_Aspects): New name for List_Inherited_Pre_Post
* par-prag.adb: Add dummy entry for pragma Invariant.
* sem_ch13.adb (Build_Invariant_Procedure): New procedure
(Analyze_Aspect_Specification): Add support for Invariant aspect
* sem_ch13.ads (Build_Invariant_Procedure): New procedure
* sem_ch3.adb (Build_Derived_Type): Propagate invariant information
(Process_Full_View): Deal with invariants, building invariant procedure
Minor reformatting
* sem_ch6.adb (Process_PPCs): Add processing of invariants
* sem_ch7.adb (Analyze_Package_Specification): Build invariant
procedures.
* sem_prag.adb: Implement pragma Invariant.
* sem_res.adb (Resolve_Entity_Name): Allow type reference if
OK_To_Reference set.
* sem_warn.adb (List_Inherited_Aspects): New name for
List_Inherited_Pre_Post.
* snames.ads-tmpl: Add entries for pragma Invariant.
* treepr.adb (Print_Entity_Information): Add handling of Field29.
* usage.adb: Warning .l/.L applies to invariant as well as pre/post.
From-SVN: r165694
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 6ad0ef5..c4402cd 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -438,10 +438,8 @@ begin "elaboration pragma"); Write_Line (" L* turn off warnings for missing " & "elaboration pragma"); - Write_Line (" .l* turn on info messages for inherited pre/" & - "postconditions"); - Write_Line (" .L turn off info messages for inherited pre/" & - "postconditions"); + Write_Line (" .l* turn on info messages for inherited aspects"); + Write_Line (" .L turn off info messages for inherited aspects"); Write_Line (" m+ turn on warnings for variable assigned " & "but not read"); Write_Line (" M* turn off warnings for variable assigned " & |