Message ID | 20110802094217.GA27660@adacore.com |
---|---|
State | New |
Headers | show |
Index: i-cstrin.ads =================================================================== --- i-cstrin.ads (revision 177038) +++ i-cstrin.ads (working copy) @@ -45,8 +45,9 @@ -- strict aliasing assumptions for this type. type chars_ptr is private; + pragma Preelaborable_Initialization (chars_ptr); - type chars_ptr_array is array (size_t range <>) of chars_ptr; + type chars_ptr_array is array (size_t range <>) of aliased chars_ptr; Null_Ptr : constant chars_ptr;