Re: Make specific warning error with gnat?

[Markus Schoepflin <nospam@no.spam>]

Am 02.07.2010 11:30, schrieb Stephen Leake:

> Markus Schoepflin<nospam@no.spam>  writes:

[...]

>> Is this possible with gnat without turning all warnings into errors?
>
> Just out of curiosity, why not treat all warnings as errors?
>
> gnat is a very good compiler; the warnings it produces should be taken
> seriously.

I would love to, but I'm dealing with a multi-million LOC legacy code base 
of Ada 83 in maintenance mode, which produces quite a large number of warnings.

I neither have the time nor the resources available to fix all of them, nor 
am I allowed to do so. But if the compiler already knows that there will be 
a constraint error at runtime, I would have liked the compilation to fail.

> I have a policy of always eliminating all warnings. Sometimes that means
> redesigning the code, which in the end turns out to be a good thing.
>
> There are times when the only way to eliminate a warning is to use
> pragma Warings (Off), or give a file-specific compiler option in a
> project file. But that is rare, and the benefits from otherwise
> eliminating warnings is large.

Markus