comp.lang.ada
 help / color / mirror / Atom feed
From: REH <spamjunk@stny.rr.com>
Subject: Compiler Bug
Date: Tue, 4 Dec 2007 13:58:06 -0800 (PST)
Date: 2007-12-04T13:58:06-08:00	[thread overview]
Message-ID: <9f4bc0eb-d44a-43f9-83bd-dd07fa8538f2@i12g2000prf.googlegroups.com> (raw)

I have an issue that my compiler vendor is trying to tell me is not a
bug.  I have two functions.  They both have a local variable of the
same name.  One calls the other (which is inlined).  The compiler
treats the variable in the caller as if it is of the same type as the
one in the callee.  Because of this, we get a constraint_error
exception.  The problem goes away when the pragma inline is removed.
The vendor is trying to tell me that this behavior is acceptable and
correct.  I do not believe that it is.  Please tell me who it right.

REH



             reply	other threads:[~2007-12-04 21:58 UTC|newest]

Thread overview: 18+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-12-04 21:58 REH [this message]
2007-12-04 22:25 ` Compiler Bug 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
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