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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.107.151.76 with SMTP id z73mr2162544iod.70.1516725717541;
        Tue, 23 Jan 2018 08:41:57 -0800 (PST)
X-Received: by 10.157.85.15 with SMTP id l15mr534336oth.12.1516725717270; Tue,
 23 Jan 2018 08:41:57 -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!w142no2436407ita.0!news-out.google.com!b73ni8293ita.0!nntp.google.com!g80no2443982itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 23 Jan 2018 08:41:57 -0800 (PST)
In-Reply-To: <6624f2e4-1ba0-4a8c-bea0-70e45a2cfd2d@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.243.127.244;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.243.127.244
References: <14a35359-150a-4aa6-b437-19c74381be4b@googlegroups.com>
 <6624f2e4-1ba0-4a8c-bea0-70e45a2cfd2d@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9b0794dd-eb94-43da-b3ee-a8d7a3a37509@googlegroups.com>
Subject: Re: strange length check error
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Tue, 23 Jan 2018 16:41:57 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:50076
Date: 2018-01-23T08:41:57-08:00
List-Id: <comp.lang.ada>

> 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.

No, I doubt it, the type of the expression LEFT.DATA(1..LENGTH(LEFT)) & RIGHT is String, and the "&" is the standard string concatenation operator... Or please show me the parenthese I'm eventually missing ?