[Bug ada/112446] New: Switch -gnatyz included in -gnatyg

[Bug ada/112446] New: Switch -gnatyz included in -gnatyg

[simon at pushface dot org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112446

            Bug ID: 112446
           Summary: Switch -gnatyz included in -gnatyg
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: simon at pushface dot org
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

Created attachment 56538
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56538&action=edit
Demonstrator

"gnatmake --help" states that -gnatyg is equivalent to -gnatydISux, but 
in fact the new switch -gnatyz (check parentheses not required by operator 
precedence rules) is included.

If this is deliberate, the help information should say so.

(Personally, I think that clarifying parens are a valuable help to the 
reader! Are the GNAT Style Rules published?)

Given this (see the attachment),

   procedure P (P1, P2 : Boolean) is
      Dummy : Boolean;
   begin
      Dummy := (P1) or P2;
   end P;

this happens:

   $ /opt/gcc-14.0.0-20231105/bin/gnatmake -gnatyg p.adb
   gcc -c -gnatyg p.adb
   p.adb:4:13: (style) redundant parentheses [-gnatyz]

Re: [Bug ada/112446] New: Switch -gnatyz included in -gnatyg

[Arnaud Charlet]

> "gnatmake --help" states that -gnatyg is equivalent to -gnatydISux, but 
> in fact the new switch -gnatyz (check parentheses not required by operator 
> precedence rules) is included.
> 
> If this is deliberate, the help information should say so.

This is indeed deliberate, thanks for reporting!

Arno

[Bug ada/112446] Switch -gnatyz included in -gnatyg

[charlet at adacore dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112446

--- Comment #1 from charlet at adacore dot com <charlet at adacore dot com> ---
> "gnatmake --help" states that -gnatyg is equivalent to -gnatydISux, but 
> in fact the new switch -gnatyz (check parentheses not required by operator 
> precedence rules) is included.
> 
> If this is deliberate, the help information should say so.

This is indeed deliberate, thanks for reporting!

Arno

[Bug ada/112446] Switch -gnatyz included in -gnatyg

[ebotcazou at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112446

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-11-10