Re: Possible bug?

["J-P. Rosen" <rosen@adalog.fr>]

Le 10/07/2015 11:46, Anatoly Chernyshev a écrit :

> procedure fail_arr is
> n_d,n_f: constant integer:=10;
> type tss is array (1..n_d,1..n_f) of float;
> tser:tss:=(others=>(0.0,0.0));
> begin
> for i in tser'range(1) loop
> for j in tser'range(2) loop
> tser(i,j):=0.0;
> end loop;
> end loop;
> end fail_arr;
> 
> From my understanding, in the declaration of tser, its first two
> columns must be populated with 0.0, and the rest is to be left
> uninitialized.
If that's what you want, you have to say so:
> tser:tss:=(others=>(0.0,0.0, others => <>));

> But under no circumstances shall the array to have
> dimensions (n_d, 2). But that's exactly what happens in the program.
> 
> The compiler even gives me nice soft warning about this:
> 
> 4:11 warning: too few elements for type "tss" defined at line 3 4:11
> warning: "Constraint_Error" will be raised at run time
> 
> Even though it should abort the compilation with an error message.
> No?
> 
No. What happens is that it constructs an initialization aggregate whose
bounds are (n_d, 2), and then raises Constraint_Error because the bounds
of the initial value do not match those of the variable. That's exactly
what the warning is telling you.


-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr