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
|
// 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 class QQ
{
public int val;
public QQ(int vv) { val = vv; }
public int ret_code() { return 100; }
};
[StructLayout(LayoutKind.Sequential)]
internal class AA
{
public byte tmp1;
public QQ q; //this field is the testing subject
public byte tmp2;
public AA(int qq)
{
tmp1 = 106;
tmp2 = 107;
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()
{
if (tmp1 != 106) throw new Exception("tmp1 corrupted");
if (tmp2 != 107) throw new Exception("tmp2 corrupted");
}
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;
}
|
