a warning to implement

[Robert Dewar]

>>Perhaps there should be an option to enable *all* warnings?

Sounds reasonable. Too bad that the obvious name for this option is taken :-)

Actually we find in the Ada case that there are some warnings that are just
too specialized to be generally useful since they correspond to specific
style options that few people follow. For example, in Ada -gnatwd requires
that all dereferencing be explicit, rather than being implicit as allowed
by the language. This warning would generate false positives on nearly all
Ada code, but is useful to a very small minority that wish to follow this
particular style rule.