Re: Compiler Bug

[Keith Thompson <kst-u@mib.org>]

REH <spamjunk@stny.rr.com> writes:
> On Dec 4, 5:25 pm, Lucretia <lucret...@lycos.co.uk> wrote:
>> On Dec 4, 9:58 pm, REH <spamj...@stny.rr.com> wrote:
>>
>> > 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.
>>
>> Which compiler? Have you tried it in GNAT?
>>
>> Can you post the code?
>
> No, I can't, sorry.  But the gist of it is:
>
> function F1 return T1;
> pragma Inline(F1);
>
> function F1 return T1 is
>   R : T1;
> begin
>   -- do stuff
>   return R;
> end F1;
>
> function F2 return T2 is
>   V : T1 := F1;
>   R : T2;
> begin
>   -- do stuff
>   return R;
> end F2;
>
> The compiler and debugger treat the R in F2 as if it is of type T1,
> not T2.  Exceeding the bounds of T1 cause F2 to raise a
> constraint_error.  The problem goes away if the pragma inline is
> removed.

If you can't post your original code for whatever reason (because it's
proprietary, or because it's too big, or whatever), can you construct
a small example that exhibits the same symptom?  Perhaps taking your
"gist of it" code above and adding definitions for T1 and T2 and some
output statements would do it.

Others here could try based on what you've posted, but without knowing
what compiler you're using they'd have no way of knowing if they've
reproduced the problem.

-- 
Keith Thompson (The_Other_Keith) <kst-u@mib.org>
Looking for software development work in the San Diego area.
"We must do something.  This is something.  Therefore, we must do this."
    -- Antony Jay and Jonathan Lynn, "Yes Minister"