Subversion Repositories openrisc

-- { dg-do run }

procedure mutable1 is

   type Object (Valid : Boolean := False) is record

      case Valid is

         when True  => Stamp : Natural;

         when False => null;

      end case;

   end record;

   function Dummy_Object (Should_Be_There : Boolean) Return Object is

   begin

      if not Should_Be_There then

         raise Program_Error;

      end if;

      return Object'(Valid => False);

   end;

   procedure Check (Create_Dummy : Boolean) is

      B : Boolean;

   begin

      B := Create_Dummy and then Dummy_Object (Create_Dummy).Valid;

   end;

begin

   Check (Create_Dummy => False);

   Check (Create_Dummy => True);

end;