Re: A bug in Gnat, or in my code?

[Preben Randhol <randhol+valid_for_reply_from_news@pvv.org>]

On 2004-03-11, Bj�rn Persson <spam-away@nowhere.nil> wrote:
> Preben Randhol wrote:
>
>> I see. I think you have a bug in that you forgot to trim the text.
>
> No, that's intentional. There might be cases where the value must be 
> used as it is, with possible spaces. In fact, I just removed the Trim on 
> the name. I improved another part of the program and then the trimming 
> became unnecessary.
>
>> Anyhow I made a test of your program and ran it on gnat 3.3.3 from
>> Debian and it works there. No crash. So maybe it is only the packaging
>> of RedHat? A program shouldn't segmentation fault and this is typically
>> an indication of a packaging/installation error.
>
> The Trim you inserted hides the bug, because Trim returns a more 
> conventional null string that doesn't cause problems in 
> To_Unbounded_String. After I removed it, your program crashes for me.
>
> Did you try my test program on that version of Gnat?
>

% apt-get install gnat-3.3

(I just love the package system in Debian. One command and it is
installed :-) )

Now to the case. I removed both trims and now I get:


   % gnatmake -gnatv -f klyv_test
   gcc-3.3 -c -gnatv klyv_test.adb

   GNAT 3.3.3 (Debian)
   Copyright 1992-2002 Free Software Foundation, Inc.

   Compiling: klyv_test.adb (source file time stamp: 2004-03-11 17:12:00)
    45 lines: No errors
   gnatbind -x klyv_test.ali
   gnatlink klyv_test.ali
   k-083152(randhol:~)% ./klyv_test 
   Ada 95 = morsomt => Ada 95 & morsomt

   raised STORAGE_ERROR : stack overflow (or erroneous memory access)

Do you get a STORAGE_ERROR or do you get a segmentation fault?

-- 
Rox-Filer; *the* file manager => http://rox.sf.net/