From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,2478ea1b71f848e3
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.90.37 with SMTP id bt5mr10010768pab.40.1351478370443;
        Sun, 28 Oct 2012 19:39:30 -0700 (PDT)
Path: 
 s9ni66432pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!border2.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!news.swapon.de!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT doing macro-expansion? (Pre/Post conditions)
Date: Wed, 24 Oct 2012 22:43:57 +0100
Organization: A noiseless patient Spider
Message-ID: <lywqyfr1eq.fsf@pushface.org>
References: <op.wmeewfh4ule2fv@cardamome> <op.wmozakuoule2fv@cardamome>
	<op.wmozh119ule2fv@cardamome> <op.wmo04iojule2fv@cardamome>
	<4c21694e-456d-442f-9d57-da24ad8028bf@googlegroups.com>
	<op.wmo4zetjule2fv@cardamome> <ly1ugnsnup.fsf@pushface.org>
	<op.wmo5uma2ule2fv@cardamome>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="7d2d00b559fb51f460ee917cabfedd73";
	logging-data="31604"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18qJrxch0qan0xid8Wt2aE1SueuojJZLnY="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin)
Cancel-Lock: sha1:Q8UjkVatod3mxFDBNkzE0bQ5KII=
	sha1:I860VWXK0fdn4CtK+IHk+KdSTBM=
X-Received-Bytes: 2446
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2012-10-24T22:43:57+01:00
List-Id: <comp.lang.ada>

"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.