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]