Re: Generic warning

["Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>]

S�bastien Morand wrote:
> 
> I got the following warnings:
> btreetests.adb:9:04: warning: in instantiation at scmal-tools-btrees.adb:159
> btreetests.adb:9:04: warning: value not in range of subtype of
> "Standard.Integer" defined at scmal-tools-btrees.ads:82, instance at line 9
> btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run time
> btreetests.adb:9:04: warning: in instantiation at scmal-tools-btrees.adb:160
> btreetests.adb:9:04: warning: value not in range of subtype of
> "Standard.Integer" defined at scmal-tools-btrees.ads:83, instance at line 9
> btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run time
> btreetests.adb:9:04: warning: in instantiation at scmal-tools-btrees.adb:161
> btreetests.adb:9:04: warning: value not in range of subtype of
> "Standard.Integer" defined at scmal-tools-btrees.ads:84, instance at line 9
> btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run time
> btreetests.adb:9:04: warning: in instantiation at scmal-tools-btrees.adb:177
> btreetests.adb:9:04: warning: value not in range of subtype of
> "Standard.Integer" defined at scmal-tools-btrees.ads:82, instance at line 9
> btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run time
> btreetests.adb:9:04: warning: in instantiation at scmal-tools-btrees.adb:178
> btreetests.adb:9:04: warning: value not in range of subtype of
> "Standard.Integer" defined at scmal-tools-btrees.ads:83, instance at line 9
> btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run time
> 
> but I run time it works fine and I have no constraint error.
> 
> Where theses warnings come from? How to correct my code?

We can't help you, because you haven't shown us the code for SCMAL.Tools.Btrees, 
or even for the specified lines.

Note that the ordered components of Ada.Containers have a similar data structure 
underlying them. Too bad Ada.Containers doesn't follow the Ada philosophy of 
providing basic building blocks that would make that data structure available.

Of course, Ada compilers have to have unbounded integer and real packages, and 
the standard doesn't make them available, either.

-- 
Jeff Carter
"I'm a kike, a yid, a heebie, a hook nose! I'm Kosher,
Mum! I'm a Red Sea pedestrian, and proud of it!"
Monty Python's Life of Brian
77