Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gnat.dg/unchecked_convert4.adb @ 138:fc828634a951

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 -- { dg-do compile }
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 with Unchecked_Conversion;
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 procedure Unchecked_Convert4 is
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 type Uint32 is mod 2**32;
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 type Rec is record
kono
parents:
diff changeset
10 I : Uint32;
kono
parents:
diff changeset
11 end record;
kono
parents:
diff changeset
12 for Rec'Size use 32;
kono
parents:
diff changeset
13 pragma Atomic (Rec);
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 function Conv is new Unchecked_Conversion (Uint32, Rec);
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 function F return Uint32;
kono
parents:
diff changeset
18 pragma Import (Ada, F);
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 procedure Proc (R : Rec) is begin null; end;
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 begin
kono
parents:
diff changeset
23 Proc (Conv (F or 1));
kono
parents:
diff changeset
24 end;