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

["Björn Persson" <spam-away@nowhere.nil>]

Preben Randhol wrote:

> That said what are you trying to do with the code? It looks wierd
> to me.

Of course that code is useless. That's just a stripped test case. The 
bug occurs in To_Unbounded_String, called from this procedure:

       procedure klyv(argument : in string;
                      namn : out unbounded_string;
                      text : out unbounded_string) is
          use Ada.Strings;
          use ada.strings.fixed;
          pos : natural;
       begin
          pos := index(argument, "=");
          if pos = 0 then
             pos := argument'last + 1;
          end if;
          namn := to_unbounded_string(
                     trim(argument(argument'first .. pos - 1), both));
          text := to_unbounded_string(
                     argument(pos + 1 .. argument'last));
       end klyv;

It splits a string of the format "name=value" into two. If there is no 
equal sign, the whole string goes into Namn, and Text should become an 
empty string. In that case To_Unbounded_String is called with 
Argument(Argument'Last+2..Argument'Last), which triggers the bug.

-- 
Björn Persson

jor ers @sv ge.
b n_p son eri nu