diff options
| author | Robert Dewar <dewar@adacore.com> | 2009-07-22 10:25:57 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-22 12:25:57 +0200 |
| commit | a36c1c3e43ff4da71ddfb65d123519f58365981b (patch) | |
| tree | eadd181009b4822e6ce92897aef59201db5cab36 /gcc/ada/style.ads | |
| parent | d1ced162c2d0525032df4c98d4d14dbcc7980de7 (diff) | |
| download | gcc-a36c1c3e43ff4da71ddfb65d123519f58365981b.zip gcc-a36c1c3e43ff4da71ddfb65d123519f58365981b.tar.gz gcc-a36c1c3e43ff4da71ddfb65d123519f58365981b.tar.bz2 | |
sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB
2009-07-22 Robert Dewar <dewar@adacore.com>
* sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB
* style.ads, styleg.adb, styleg.ads (Check_Boolean_Operator): New
procedure.
* usage.adb, stylesw.ads, stylesw.adb: Add handling of -gnatyB switch
* gnat_ugn.texi: Add documentation of -gnatyB
* vms_data.ads: Add entry for -gnatyB (STYLE=BOOLEAN_OPERATORS)
From-SVN: r149923
Diffstat (limited to 'gcc/ada/style.ads')
| -rw-r--r-- | gcc/ada/style.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/style.ads b/gcc/ada/style.ads index 4e84a48..b61cd08 100644 --- a/gcc/ada/style.ads +++ b/gcc/ada/style.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2008, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2009, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -90,6 +90,10 @@ package Style is -- designator is a reserved word (access, digits, delta or range) to allow -- differing rules for the two cases. + procedure Check_Boolean_Operator (Node : Node_Id) + renames Style_Inst.Check_Boolean_Operator; + -- Called after resolving AND or OR node to check short circuit rules + procedure Check_Box renames Style_Inst.Check_Box; -- Called after scanning out a box to check spacing |