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: 103376,2478ea1b71f848e3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.66.73.7 with SMTP id h7mr4619645pav.6.1351104829710;
        Wed, 24 Oct 2012 11:53:49 -0700 (PDT)
Path: 
 6ni23717pbd.1!nntp.google.com!news.glorb.com!feeder.erje.net!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 19:53:50 +0100
Organization: A noiseless patient Spider
Message-ID: <ly1ugnsnup.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>
Mime-Version: 1.0
Injection-Info: mx04.eternal-september.org;
 posting-host="7d2d00b559fb51f460ee917cabfedd73";
	logging-data="27392"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19gf1g0IiCqtBqeS1BUU8tEtVXCGdxmQbI="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2 (darwin)
Cancel-Lock: sha1:aKw7IibENOBC9W7WYvKUBHNBJxs=
	sha1:4LQnpo/LYtGjSnsPlTzl85CeLxU=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2012-10-24T19:53:50+01:00
List-Id: <comp.lang.ada>

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

> But I'm not an AdaCore client, so I believe this would be useless.

If you don't send the bug report, and it's one that their customers
haven't come across, then it won't get fixed.

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