Link time checking for incompatible flags

[Robert Dewar]

Jim Wilson wrote:

> Rahul Joshi wrote:
> 
>> Would it be possible to add such link-time
>> checking for incompatible compiler options?
> 
> 
> It is possible in theory. 

Note that in Ada, extensive consistency checks are required by
the language, and a separate binder step performs these checks.
In the case of GNAT, these include (non-standard required)
checks of consistency of options of this kind.