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,b0a828f417615ded,start
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!i12g2000prf.googlegroups.com!not-for-mail
From: REH <spamjunk@stny.rr.com>
Newsgroups: comp.lang.ada
Subject: Compiler Bug
Date: Tue, 4 Dec 2007 13:58:06 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <9f4bc0eb-d44a-43f9-83bd-dd07fa8538f2@i12g2000prf.googlegroups.com>
NNTP-Posting-Host: 192.35.35.34
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1196805488 28313 127.0.0.1 (4 Dec 2007 21:58:08
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 4 Dec 2007 21:58:08 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: i12g2000prf.googlegroups.com; posting-host=192.35.35.34;
	posting-account=GwkXCgoAAABFSG45Q--uHVZG6zn6ec-e
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.3)
	Gecko/20070309 Firefox/2.0.0.3,gzip(gfe),gzip(gfe)
Content-Disposition: inline
Xref: g2news1.google.com comp.lang.ada:18707
Date: 2007-12-04T13:58:06-08:00
List-Id: <comp.lang.ada>

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