diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2023-02-06 09:06:28 +0000 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-23 09:59:06 +0200 |
| commit | 375299752727a8b3d5a360905fade38122d82681 (patch) | |
| tree | 308cf9a8ea9761b8a12d8dac6109ec5305f406b6 /gcc/ada/usage.adb | |
| parent | a0cc548a8a1b2176bf2f51d1831a4ac6cc255b64 (diff) | |
| download | gcc-375299752727a8b3d5a360905fade38122d82681.zip gcc-375299752727a8b3d5a360905fade38122d82681.tar.gz gcc-375299752727a8b3d5a360905fade38122d82681.tar.bz2 | |
ada: Add new switch -gnatyz
Improve -gnatyx to check additional complete conditions,
and introduce a new switch -gnatyz to check for unnecessary
parentheses according to operator precedence rules.
Enable -gnatyz as part of -gnatyg.
gcc/ada/
* par-ch5.adb, style.ads, styleg.adb, styleg.ads
(Check_Xtra_Parens): Remove extra parameter Enable.
(Check_Xtra_Parens_Precedence): New.
(P_Case_Statement): Add -gnatyx style check.
* sem_ch4.adb: Replace calls to Check_Xtra_Parens by
Check_Xtra_Parens_Precedence.
* stylesw.ads, stylesw.adb, usage.adb: Add support for
-gnatyz.
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Update -gnatyxzg doc.
* sem_prag.adb, libgnat/s-regpat.adb,
libgnarl/s-interr__hwint.adb, libgnarl/s-interr__vxworks.adb:
Remove extra parens.
* par-ch3.adb (P_Discrete_Range): Do not emit a style check if
the expression is not a simple expression.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/usage.adb')
| -rw-r--r-- | gcc/ada/usage.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 9e2aa019..58cfa78 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -683,6 +683,8 @@ begin Write_Line (" u check no unnecessary blank lines"); Write_Line (" x check extra parentheses around conditionals"); Write_Line (" y turn on default style checks"); + Write_Line (" z check parentheses not required by operator " & + "precedence rules"); Write_Line (" - subtract (turn off) subsequent checks"); Write_Line (" + add (turn on) subsequent checks"); |