Re: Problem where a function is invoked once but called twice (when invocation is within an allocator).

[Dan <dan@irvine.com>]

Here's a simpler test case.  Taking out the Pragma Pack makes it work.

package Media is

   type Color is
      record
         val : integer;
      end record;

   type Image is array (integer range <>) of Color;
   pragma pack (Image);         -- matters!

   function next_Frame return Image;

end Media;

with Ada.Text_IO; use Ada.Text_IO;
package body Media is
   counter: integer := 0;

   function next_Frame return Image is
   begin
      put_line("in next_frame");
      counter := counter + 1;
      return (1..10 => (val => counter));
   end next_Frame;

end Media;



with Media;
with text_io;
procedure Test1 is

   Case_1 :        Media.Image :=     Media.Image' (Media.next_Frame);
   Case_2 : access Media.Image := new Media.Image' (Media.next_Frame);
begin
   text_io.put_line(case_1(5).val'img);
   text_io.put_line(case_2(5).val'img);
end;