From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: expression function bug or think?
Date: Thu, 16 Jun 2011 22:31:27 +0200
Date: 2011-06-16T22:31:27+02:00 [thread overview]
Message-ID: <87wrglwmao.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: 678085105329914667.504682rmhost.bauhaus-maps.arcor.de@news.arcor.de
* georg bauhaus:
> When I compile the following program with GNAT GPL 2011 on Mac, I
> get confusingly different behavior depending on whether or not I
> suppress checks. *Suppressing* the checks results in the desired
> program behavior. (The effect reminds me of potential for Ariane 5
> gossip—or simply of me being dense.) When checks are *disabled*
> (-gnatp), the program runs as expected and prints fib(10) = 55.
> When checks are enabled (no -gnatp) I get a constraint error on L.6.
> Optimization does not affect the result, only -gnatp.
Out of curiosity, can you show us the expanded Ada code, using -gnatG?
next prev parent reply other threads:[~2011-06-16 20:31 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-06-16 11:00 expression function bug or think? georg bauhaus
2011-06-16 11:27 ` AdaMagica
2011-06-16 15:56 ` Adam Beneschan
2011-06-17 3:56 ` Yannick Duchêne (Hibou57)
2011-06-16 16:16 ` Anh Vo
2011-06-16 18:56 ` Bill Findlay
2011-06-16 19:18 ` Simon Wright
2011-06-16 20:03 ` Georg Bauhaus
2011-06-16 20:03 ` Bill Findlay
2011-06-16 20:31 ` Florian Weimer [this message]
2011-06-16 20:41 ` Simon Wright
2011-06-16 21:14 ` Georg Bauhaus
2011-06-16 23:14 ` Bill Findlay
2011-06-17 9:34 ` Martin
2011-06-17 10:33 ` Simon Wright
2011-06-17 10:39 ` Martin
2011-06-17 11:09 ` Niklas Holsti
2011-06-16 21:04 ` Georg Bauhaus
2011-06-17 8:55 ` Georg Bauhaus
2011-06-17 9:10 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox