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
|
// 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;
[StructLayout(LayoutKind.Sequential)]
internal class AA
{
public ulong tmp1;
public long tmp2;
public sbyte tmp3;
public double q;
public int tmp4;
public ushort tmp5;
public AA(double qq)
{
tmp1 = 106;
tmp2 = 107;
tmp3 = 108;
tmp4 = 109;
tmp5 = 110;
q = 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 double call_target(double arg) { return arg; }
public static double call_target_ref(ref double arg) { return arg; }
public void verify()
{
if (tmp1 != 106) throw new Exception("tmp1 corrupted");
if (tmp2 != 107) throw new Exception("tmp2 corrupted");
if (tmp3 != 108) throw new Exception("tmp3 corrupted");
if (tmp4 != 109) throw new Exception("tmp4 corrupted");
if (tmp5 != 110) throw new Exception("tmp5 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;
}
|