1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
// Copyright (c) Microsoft. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
using System;
using System.Runtime.InteropServices;
internal struct QQ
{
public int val;
public QQ(int vv) { val = vv; }
public int ret_code() { return 100; }
};
[StructLayout(LayoutKind.Explicit)]
internal class AA
{
[FieldOffset(0)]
public sbyte tmp1;
[FieldOffset(7)]
public double tmp2;
[FieldOffset(8)]
public QQ q; //this field is the testing subject
[FieldOffset(48)]
public double tmp3;
[FieldOffset(36)]
public float tmp4;
[FieldOffset(51)]
public long tmp5;
public AA(int qq)
{
tmp1 = 0;
tmp2 = 0;
tmp3 = 0;
tmp4 = 0;
tmp5 = 0;
q = new QQ(qq);
}
public static AA[] a_init = new AA[101];
public static AA[] a_zero = new AA[101];
public static AA[,,] aa_init = new AA[1, 101, 2];
public static AA[,,] aa_zero = new AA[1, 101, 2];
public static object b_init = new AA(100);
public static AA _init, _zero;
public static QQ call_target(QQ arg) { return arg; }
public static QQ call_target_ref(ref QQ arg) { return arg; }
public void verify()
{
}
public static void verify_all()
{
a_init[100].verify();
a_zero[100].verify();
aa_init[0, 99, 1].verify();
aa_zero[0, 99, 1].verify();
_init.verify();
_zero.verify();
BB.f_init.verify();
BB.f_zero.verify();
}
public static void reset()
{
a_init[100] = new AA(100);
a_zero[100] = new AA(0);
aa_init[0, 99, 1] = new AA(100);
aa_zero[0, 99, 1] = new AA(0);
_init = new AA(100);
_zero = new AA(0);
BB.f_init = new AA(100);
BB.f_zero = new AA(0);
}
}
internal struct BB
{
public static AA f_init, f_zero;
}
|