Re: no code generation for c strings

[Georg Bauhaus <bauhaus@futureapps.invalid>]

On 03.06.16 19:00, Lucretia wrote:
> On Friday, 3 June 2016 15:27:59 UTC+1, G.B.  wrote:
>
>> If "&" will be become a function call, then
>>
>>    S : constant char_array := ('h', 'e', 'l', 'l', 'o', nul);
>
> I want to avoid having to spell out all these function names like that thanks, and not really sure what you mean about the & there.
>

By RM4.9(6) and RM4.9(20), "&" might be a static function. I'm not sure.
In any case, for S to become static, adding constraints seems to be sufficient:

package Static is
    S  : constant char_array          := "hello" & nul;
    S1 : constant Char_Array (0 .. 5) := "hello" & nul;
    
    X  : constant := S'Length;
    X1 : constant := S1'Length;
end Static;


      1. with Interfaces.C; use Interfaces.C;
      2.
      3. package Static is
      4.    S  : constant char_array          := "hello" & nul;
      5.    S1 : constant Char_Array (0 .. 5) := "hello" & nul;
      6.
      7.    X  : constant := S'Length;
                             |
         >>> non-static expression used in number declaration
         >>> prefix is non-static array (RM 4.9(8))

      8.    X1 : constant := S1'Length;
      9. end Static;


-- 
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff