Re: GNAT doing macro-expansion? (Pre/Post conditions)

[Simon Wright <simon@pushface.org>]

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Le Wed, 24 Oct 2012 20:53:50 +0200, Simon Wright <simon@pushface.org>
> a écrit:
>> AdaCore _do_ take note of bugs filed by unsupported customers, but
>> I'd think this is much more likely to happen for good bug reports
>> (that is, with a clear statement of what you expected to happen, what
>> actually happened, and a reproducer).
>
> I you see issues with the expected clarity of what I presented, feel
> free to tell, before I send them. I will post some other details later
> (or not here, I don't already know).

Looks clear enough to me!

When I tried this it failed on x86_64 Mac with all of GCC 4.6, 4.7 and
GNAT GPL 2012. I get CE with "erroneous memory access".

Under the debugger, it turns out it's an assertion failure (tell AdaCore
you compiled with -gnata !), probably caused by some mis-ordering of the
initializations vs the predicate checks; with 4.7, I is -7952, J is
24515 and K is -1 at the point of failure.