I would hope that a(10..11) := b(0..1); would raise a rich crop of constraint errors.

but it Does give an error .
I tried and it compiles well and then gives a CONSTRAINT_ERROR on running.
and even
a(10..11) := b(10..11)
gives and error.
BUT
a(11..10) := b(10..9)
runs perfectly

Still strange for me. and hope to hear from you all
thanks in advance
Apurva

Jean-Pierre Rosen wrote:

[log in to unmask]">

11..10 and 1..0 are both null slices (i.e. statically known to be empty).

Your code therefore assigns a null slice >to a null slice and no
out-of-bounds array accesses occur so no error occurs.

I would hope that a(10..11) := b(0..1); would raise a rich crop of

constraint errors.

No. A null slice never raises Constraint_Error (4.1.2(7)).
Is it a good thing? I can see pros and cons for both...
Anyway, that's the way it is.
---------------------------------------------------------
           J-P. Rosen ([log in to unmask])
Visit Adalog's web site at http://www.adalog.fr

--
Apurva Shukla
Embedded Systems-Avionics
EISAA
Infosys® (Mysore)
Extn: 4370
Direct:+91-9886121045,0821-5284370