On Wed, Apr 4, 2012 at 8:27 PM, Robert Dewar <de...@adacore.com> wrote: > On 4/4/2012 6:42 PM, Gabriel Dos Reis wrote: >> >> On Wed, Apr 4, 2012 at 4:21 PM, Robert Dewar<de...@adacore.com> wrote: >>> >>> On 4/4/2012 2:34 PM, Dominique Dhumieres wrote: >>> >>>> IMO only the warnings in C that are likely errors should be the default >>>> as >>>> it is in gfortran (don't ask for examples of such warnings for C, I am >>>> quasi-illiterate). >>> >>> >>> >>> That's also the default philosophy in GNAT, >> >> >> In which case you should NOT be objecting to the proposal :-) > > > -Wall is roughtly equivalent to -gnatwa in the GNAT front end, > and this is definitely NOT on by default. If you run GNAT in > default mode, there are virtually no false positives, since > the only warnings on by default are the kind of warnings that > say "if you execute this statement, your program will go wrong"
like calling a function with non-void return type whose definition ails to return value. -- Gaby