public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug ada/112446] New: Switch -gnatyz included in -gnatyg @ 2023-11-08 18:29 simon at pushface dot org 2023-11-09 9:29 ` Arnaud Charlet ` (2 more replies) 0 siblings, 3 replies; 4+ messages in thread From: simon at pushface dot org @ 2023-11-08 18:29 UTC (permalink / raw) To: gcc-bugs 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] ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Bug ada/112446] New: Switch -gnatyz included in -gnatyg 2023-11-08 18:29 [Bug ada/112446] New: Switch -gnatyz included in -gnatyg simon at pushface dot org @ 2023-11-09 9:29 ` Arnaud Charlet 2023-11-09 9:29 ` [Bug ada/112446] " charlet at adacore dot com 2023-11-10 9:57 ` ebotcazou at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: Arnaud Charlet @ 2023-11-09 9:29 UTC (permalink / raw) To: simon at pushface dot org; +Cc: gcc-bugs > "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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/112446] Switch -gnatyz included in -gnatyg 2023-11-08 18:29 [Bug ada/112446] New: Switch -gnatyz included in -gnatyg simon at pushface dot org 2023-11-09 9:29 ` Arnaud Charlet @ 2023-11-09 9:29 ` charlet at adacore dot com 2023-11-10 9:57 ` ebotcazou at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: charlet at adacore dot com @ 2023-11-09 9:29 UTC (permalink / raw) To: gcc-bugs 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/112446] Switch -gnatyz included in -gnatyg 2023-11-08 18:29 [Bug ada/112446] New: Switch -gnatyz included in -gnatyg simon at pushface dot org 2023-11-09 9:29 ` Arnaud Charlet 2023-11-09 9:29 ` [Bug ada/112446] " charlet at adacore dot com @ 2023-11-10 9:57 ` ebotcazou at gcc dot gnu.org 2 siblings, 0 replies; 4+ messages in thread From: ebotcazou at gcc dot gnu.org @ 2023-11-10 9:57 UTC (permalink / raw) To: gcc-bugs 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 ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2023-11-10 9:57 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2023-11-08 18:29 [Bug ada/112446] New: Switch -gnatyz included in -gnatyg simon at pushface dot org 2023-11-09 9:29 ` Arnaud Charlet 2023-11-09 9:29 ` [Bug ada/112446] " charlet at adacore dot com 2023-11-10 9:57 ` ebotcazou at gcc dot gnu.org
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).