view gcc/testsuite/gnat.dg/test_unknown_discrs.adb @ 127:4c56639505ff

fix function.c and add CbC-example Makefile
author mir3636
date Wed, 11 Apr 2018 18:46:58 +0900
parents 04ced10e8804
children
line wrap: on
line source

--  { dg-do compile }

procedure Test_Unknown_Discrs is
   
   package Display is

      type Component_Id (<>) is limited private;

      Deferred_Const : constant Component_Id;
   
   private
      
      type Component_Id is (Clock);

      type Rec1 is record
         C : Component_Id := Deferred_Const;
      end record;

      Priv_Cid_Object : Component_Id := Component_Id'First;

      type Rec2 is record
         C : Component_Id := Priv_Cid_Object;
      end record;

      Deferred_Const : constant Component_Id := Priv_Cid_Object;
   
   end Display;

begin
   null;
end Test_Unknown_Discrs;