Re: Make specific warning error with gnat?

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

On 7/2/10 11:44 AM, Markus Schoepflin wrote:

> 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 can't think of a way to do this without annotating each
occurrence in the source program: some programs might want
the constraint_error to be produced for whatever reason ...)
Anyway, grep has helped me scan traces of output and trigger
actions accordingly, that should be a workaround.
  I understand GPS is programmable, so maybe the log console
has hooks this sort of special case?