Subversion Repositories openrisc

-- { dg-do compile }

pragma Restrictions (No_Implicit_Heap_Allocations);

package Discr_Record_Constant is

   type T (Big : Boolean := False) is record

      case Big is

         when True =>

            Content : Integer;

         when False =>

            null;

       end case;

    end record;

    D : constant T := (True, 0);

    Var :          T := D;    --  OK, maximum size

    Con : constant T := D;    --  Violation of restriction

    Ter : constant T := Con;  --  Violation of restriction

end Discr_Record_Constant;