3 with System.Storage_Elements; use System.Storage_Elements;
7 type Rec (Has_Src : Boolean) is record
9 when True => Src : aliased Integer;
14 for Rec'Alignment use Integer'Alignment;
16 R : Rec (Has_Src => True);
19 if R.Src'Address mod Integer'Alignment /= 0 then