Re: strange length check error

[Robert Eachus <rieachus@comcast.net>]

On Tuesday, January 16, 2018 at 3:48:45 PM UTC-5, Mehdi Saada wrote:
> This : Put(Ch_Bounded1 & ' ' );
> Calls on that:
> function "&"
>      (Left  : in     Bounded_String;
>       Right : in     Character)
>       return Bounded_String
>    is
...
>  @@@     return (LENGTH(LEFT) + 1, LEFT.DATA(1..LENGTH(LEFT)) & RIGHT);
>       end if;
>    end "&";
> 
> The line with @@@ raises this:
> raised CONSTRAINT_ERROR : p_bounded_g-p_new_bounded_g.adb:34 length check failed
> The value of CH_BOUNDED1 at that moment is "pour tester le debut", its length is 21, and MAX_LENGTH est 80.

Arg!  Horrible code, I'm not surprised that others missed it.  This is a recursive call on "&" with a longer LENGTH each time.  Eventually LENGTH equals MAX_LENGTH and the error is raised.