Re: Misleading Compiler Warning

[volkert@nivoba.de (Volkert)]

> >    
> >    package body Inner_Gen is
> >       type B is array(T) of Boolean;
> >       pragma Pack(B);
> >       type C is array (0 .. 100) of B;
> > 
> >       procedure Do_It is
> >         O : C;
> >       begin
> >         O(1)(0) := False;
> 
>                 ^ Here you assume that 0 is a value of the formal type T
> 
> >       end;
> >    
> >    end;
> > 
> > end Gen;
> 
> There is no guarantee that zero is a value of the actual type used for 
> the formal type T; a (sub)type with a 'First of one is very likely. 
> While the warning you got is not very good, some sort of warning seems 
> in order here.

This line was only for testing. Remove it and you will get the same gnat warning.


With regards
Volkert