diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-06 09:25:29 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-04-06 09:25:29 +0000 |
| commit | 59ac57b560f56b6c7944751f579fcedcfa22bc15 (patch) | |
| tree | 5452d8d7f7de1a366e554e6d5ccd84c49ad180c9 /gcc/ada/stylesw.ads | |
| parent | 271c020ead1f48b22927837e9617a5dc78bbbe9e (diff) | |
| download | gcc-59ac57b560f56b6c7944751f579fcedcfa22bc15.tar.gz | |
2007-04-06 Robert Dewar <dewar@adacore.com>
* sem_ch13.ads, sem_ch13.adb (Adjust_Record_For_Reverse_Bit_Order):
Use First/Next_Component_Or_Discriminant
(Analyze_Record_Representation_Clause):
Use First/Next_Component_Or_Discriminant
(Check_Component_Overlap): Use First/Next_Component_Or_Discriminant
(Analyze_Attribute_Definition_Clause, case Value_Size): Reject
definition if type is unconstrained.
(Adjust_Record_For_Reverse_Bit_Order): New procedure
(Analyze_Attribute_Definition_Clause): Split Is_Abstract flag into
Is_Abstract_Subprogram and Is_Abstract_Type.
(Adjust_Record_For_Reverse_Bit_Order): New procedure
* repinfo.adb (List_Record_Info): Use First/
Next_Component_Or_Discriminant.
* style.ads, styleg-c.adb, styleg-c.ads (Check_Array_Attribute_Index):
New procedure.
* stylesw.ads, stylesw.adb: Recognize new -gnatyA style switch
Include -gnatyA in default switches
* opt.ads: (Warn_On_Non_Local_Exception): New flag
(Warn_On_Reverse_Bit_Order): New flag
(Extensions_Allowed): Update the documentation.
(Warn_On_Questionable_Missing_Parens): Now on by default
* usage.adb: Add documentation of -gnatw.x/X switches
Document new -gnatyA style switch
-gnatq warnings are on by default
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123590 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/stylesw.ads')
| -rw-r--r-- | gcc/ada/stylesw.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/stylesw.ads b/gcc/ada/stylesw.ads index 42e1774103e..85b823051ca 100644 --- a/gcc/ada/stylesw.ads +++ b/gcc/ada/stylesw.ads @@ -47,6 +47,12 @@ package Stylesw is -- through a call to Set_Default_Style_Check_Options. They should -- not be set directly in any other manner. + Style_Check_Array_Attribute_Index : Boolean := False; + -- This can be set True by using -gnatg or -gnatyA switches. If it is True + -- then index numbers for array attributes (like Length) are required to + -- be absent for one-dimensional arrays and present for multi-dimensional + -- array attribute references. + Style_Check_Attribute_Casing : Boolean := False; -- This can be set True by using the -gnatg or -gnatya switches. If -- it is True, then attribute names (including keywords such as |