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