Re: Ok sorry, it is just a book gives no feedback.

[Laurent Guerby <guerby@acm.org>]

Robert Dewar <robert_dewar@my-deja.com> writes:
> Actually you can find uses of this in the GNAT run-time going
> way back, and indeed it is much older than that, since DEC
> Ada 83 always supported this capability, and the DEC test suite
> contains a number of tests that use this capability to bypass
> compiler checking that would defeat the test purpose (related
> to the optimization point that LG made).

I doubt the DEC Ada 83 compiler used this trick to bypass "pragma
Pure" since it is an Ada 95 extension. I cannot comment on the use in
the GNAT runtime (was this to bypass Pure?). The general trick of
using export/import of symbols to bypass compiler sanity checking
surely predates all that stuff, that's a part of K&R C ;-).

> Laurent Guerby wrote:
> > In the "break everything" area you also have stream based code which
> > does all sorts of "unchecked" stuff without having "unchecked" in
> > its name (well it's obvious, but it breaks the "grep Unchecked" rule
> > ;-).
> But that's really no different from Sequential_IO ...

True (except for the grep "IO" thing ;-).

-- 
Laurent Guerby <guerby@acm.org>