Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/aggr17.adb @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
-- { dg-do compile } -- { dg-options "-gnatws" } procedure Aggr17 is type Enum is (A, B); type Rec (D : Enum := Enum'First) is record case D is when A => X : Integer; when B => null; end case; end record; for Rec'Size use 128; pragma Volatile (Rec); type Config_T (D : Enum := Enum'First) is record N : Natural; R : Rec (D); end record; C : constant Config_T := (D => A, N => 1, R => (D => A, X => 0)); type Arr is array (Natural range 1 .. C.N) of Boolean; begin null; end;