用于进行gcc测试

源代码在线查看: tag1.adb

软件大小: 6330 K
上传用户: yhw002
关键词: gcc 测试
下载地址: 免注册下载 普通下载 VIP

相关代码

				--  { dg-do run }								with Ada.Tags;				procedure tag1 is				   type T is tagged null record;				   X : Ada.Tags.Tag;				begin				   begin				     X := Ada.Tags.Descendant_Tag ("Internal tag at 16#0#", T'Tag);				     raise Program_Error;				   exception				     when Ada.Tags.Tag_Error => null; 				   end;				   begin				     X := Ada.Tags.Descendant_Tag ("Internal tag at 16#XXXX#", T'Tag);				     raise Program_Error;				   exception				     when Ada.Tags.Tag_Error => null;				   end; 				end;    							

相关资源