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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.107.14.10 with SMTP id 10mr2109026ioo.18.1516724297056;
        Tue, 23 Jan 2018 08:18:17 -0800 (PST)
X-Received: by 10.157.65.183 with SMTP id p52mr525387ote.3.1516724296930; Tue,
 23 Jan 2018 08:18:16 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!paganini.bofh.team!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g80no2435436itg.0!news-out.google.com!b73ni8293ita.0!nntp.google.com!g80no2435431itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 23 Jan 2018 08:18:16 -0800 (PST)
In-Reply-To: <14a35359-150a-4aa6-b437-19c74381be4b@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2601:191:8303:2100:ac96:8bad:a9f7:3ee6;
 posting-account=fdRd8woAAADTIlxCu9FgvDrUK4wPzvy3
NNTP-Posting-Host: 2601:191:8303:2100:ac96:8bad:a9f7:3ee6
References: <14a35359-150a-4aa6-b437-19c74381be4b@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6624f2e4-1ba0-4a8c-bea0-70e45a2cfd2d@googlegroups.com>
Subject: Re: strange length check error
From: Robert Eachus <rieachus@comcast.net>
Injection-Date: Tue, 23 Jan 2018 16:18:17 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:50074
Date: 2018-01-23T08:18:16-08:00
List-Id: <comp.lang.ada>

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.