comp.lang.ada
 help / color / mirror / Atom feed
From: Samuel Tardieu <sam@rfc1149.net>
To: Adam Beneschan <adam@irvine.com>
Subject: Re: Compiler Bug
Date: Wed, 05 Dec 2007 10:46:37 +0100
Date: 2007-12-05T10:50:01+01:00	[thread overview]
Message-ID: <877ijtzd6q.fsf@willow.rfc1149.net> (raw)
In-Reply-To: 24d8f3b3-8406-4bc2-8908-f85c84a4bd69@e10g2000prf.googlegroups.com

>>>>> "Adam" == Adam Beneschan <adam@irvine.com> writes:

Adam> That's not true in reverse, by the way... there are legitimate
Adam> cases when adding an Inline pragma could make a Constraint_Error
Adam> go away, if an optimizer determines that some of the inlined
Adam> code can be eliminated for a particular call.

Can you produce such an example? I am curious about it.

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/



  reply	other threads:[~2007-12-05  9:46 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-12-04 21:58 Compiler Bug REH
2007-12-04 22:25 ` Lucretia
2007-12-04 22:32   ` REH
2007-12-04 22:45     ` Randy Brukardt
2007-12-04 22:49       ` REH
2007-12-04 22:54       ` Adam Beneschan
2007-12-05  9:46         ` Samuel Tardieu [this message]
2007-12-05 16:07           ` Adam Beneschan
2007-12-06  3:30             ` Randy Brukardt
2007-12-06  3:30             ` Randy Brukardt
2007-12-04 22:45     ` Randy Brukardt
2007-12-06  6:51     ` Keith Thompson
2007-12-06 16:48       ` REH
  -- strict thread matches above, loose matches on Subject: below --
2008-04-01 11:52 Compiler bug Maciej Sobczak
2008-04-01 13:00 ` Ludovic Brenta
2008-04-01 20:43   ` Maciej Sobczak
2008-04-02 11:39 ` Alex R. Mosteo
2008-04-02 17:44 ` Per Sandberg
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox