Re: [RFC] First scripts for ARI support inisde gdb tree

[Joel Brobecker <brobecker@adacore.com>]

> Since it is working on the source, which is the same everywhere, I think
> we can adopt a "zero fail" rule.  For example perhaps whatever
> exceptions there are to the rules could be marked in the source.
> 
> That's just speculation though.  I haven't looked at the ARI scripts.

I think it is an interesting idea. If I understad the current state
of affairs, the exceptions currently marked in the sources are
valid exceptions, meaning that they are false positives and the
scripts shouldn't have complained about them in the first place.
For instances, the very few authorized calls to abort.

But I like the idea nonetheless, because we could simply extend
the exception mechanism to say that we accept this violation as
a legacy thing.

-- 
Joel