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

[Anh Vo <anhvofrcaus@gmail.com>]

On May 9, 4:00 pm, Dan <d...@irvine.com> wrote:
> 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;

Thank you for making the simplest test case.

I got double calls, too. It is absolutely a compiler bug.

Anh Vo