Re: Compiler checking of String lengths during assignment (Newbie Question)

[Simon Wright <simon@pushface.org>]

isaac1.0@gmail.com writes:

> One is the compiler. Mine says GNAT GPL 2014 (20140331) and gcc is 4.7.4
>
> gcc -c -I- -gnatA E:\Projects\Test\src\main.adb
> main.adb:23:27: warning: wrong length for array of subtype of
> "Standard.String" defined at line 9
> main.adb:23:27: warning: "Constraint_Error" will be raised at run time
> main.adb:24:27: warning: too few elements for subtype of
> "Standard.String" defined at line 9
> main.adb:24:27: warning: "Constraint_Error" will be raised at run time
>
> So I get the 2 warnings that are expected, but the 3rd one is
> missed. I'm no compiler expert, but if you say it's difficult for the
> compiler to sort out arithmetic logic like that, then maybe this is
> the case. If a newer compiler is not showing the problem, then maybe
> this has already been solved.

As I think I've said before, with the same compiler (on Mac OS X, but
I'd be _very_ surprised if that made a difference) I get warnings on all
three lines.