ARM+ADS 源代码

pragma Eliminate (p, d); package elim1 is type t is tagged null record; procedure d (a : t); end;

package Oalign1 is Klunk1 : Integer := 12; for Klunk1'Alignment use Standard'Maximum_Alignment; end;

package discr3 is type E is range 0..255; type R1 is range 1..5; type R2 is range 11..15; type S1 is array(R1 range…

with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Discr8_Pkg2; use Discr8_Pkg2; package Discr8_Pkg1 is type T is rec…

package ext1 is type I_Smiley is interface; procedure Set_Mood (Obj : out I_Smiley) is abstract; -- type Smiley …

package array2 is type RIC_TYPE is (RIC1, RIC2); for RIC_TYPE'SIZE use 32; function MAX return Integer; end array2;

-- { dg-do compile } package Alignment1 is S : Natural := 20; pragma Volatile (S); type Block is array (1 .. S) of Inte…

-- { dg-do compile } pragma Restrictions(No_Elaboration_Code); with System; package Elab1 is type Ptrs_Type is array (Integ…

-- { dg-do compile } package tag1 is type T is tagged limited record Y : access T'Class; -- OK X : access Tag1…

-- { dg-do compile } package limited1 is pragma Pure; type Buffer is limited interface; type Synchronous_Buffer_Typ…