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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
|
using System;
using System.Diagnostics.CodeAnalysis;
using System.Reflection;
using Mono.Linker.Tests.Cases.Expectations.Assertions;
using Mono.Linker.Tests.Cases.Expectations.Metadata;
namespace Mono.Linker.Tests.Cases.Reflection
{
[SetupCSharpCompilerToUse ("csc")]
[ExpectedNoWarnings]
public class ConstructorsUsedViaReflection
{
public static void Main ()
{
TestGetConstructors ();
TestWithBindingFlags ();
TestWithUnknownBindingFlags (BindingFlags.Public);
TestNullType ();
TestDataFlowType ();
TestDataFlowWithAnnotation (typeof (MyType));
TestIfElse (true);
}
[RecognizedReflectionAccessPattern]
[Kept]
static void TestGetConstructors ()
{
var constructors = typeof (SimpleGetConstructors).GetConstructors ();
}
[RecognizedReflectionAccessPattern]
[Kept]
static void TestWithBindingFlags ()
{
var constructors = typeof (ConstructorsBindingFlags).GetConstructors (BindingFlags.Public | BindingFlags.Static);
}
[RecognizedReflectionAccessPattern]
[Kept]
static void TestWithUnknownBindingFlags (BindingFlags bindingFlags)
{
// Since the binding flags are not known linker should mark all constructors on the type
var constructors = typeof (UnknownBindingFlags).GetConstructors (bindingFlags);
}
[Kept]
[RecognizedReflectionAccessPattern]
static void TestNullType ()
{
Type type = null;
var constructors = type.GetConstructors ();
}
[Kept]
static Type FindType ()
{
return null;
}
[UnrecognizedReflectionAccessPattern (typeof (Type), nameof (Type.GetConstructors), new Type[] { typeof (BindingFlags) },
messageCode: "IL2075", message: new string[] { "FindType", "GetConstructors" })]
[Kept]
static void TestDataFlowType ()
{
Type type = FindType ();
var constructors = type.GetConstructors (BindingFlags.Public);
}
[Kept]
[RecognizedReflectionAccessPattern]
private static void TestDataFlowWithAnnotation ([KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))][DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicConstructors)] Type type)
{
var constructors = type.GetConstructors (BindingFlags.Public | BindingFlags.Static);
}
[Kept]
[RecognizedReflectionAccessPattern]
static void TestIfElse (bool decision)
{
Type myType;
if (decision) {
myType = typeof (IfConstructor);
} else {
myType = typeof (ElseConstructor);
}
var constructors = myType.GetConstructors (BindingFlags.Public);
}
[Kept]
private class SimpleGetConstructors
{
[Kept]
public SimpleGetConstructors ()
{ }
[Kept]
public SimpleGetConstructors (int i)
{ }
private SimpleGetConstructors (string foo)
{ }
protected SimpleGetConstructors (string foo, string bar)
{ }
}
[Kept]
private class ConstructorsBindingFlags
{
[Kept]
public ConstructorsBindingFlags ()
{ }
[Kept]
public ConstructorsBindingFlags (string bar)
{ }
private ConstructorsBindingFlags (int foo)
{ }
protected ConstructorsBindingFlags (int foo, int bar)
{ }
internal ConstructorsBindingFlags (int foo, int bar, int baz)
{ }
}
[Kept]
private class UnknownBindingFlags
{
[Kept]
public UnknownBindingFlags ()
{ }
[Kept]
public UnknownBindingFlags (string bar)
{ }
[Kept]
private UnknownBindingFlags (int foo)
{ }
[Kept]
protected UnknownBindingFlags (int foo, int bar)
{ }
[Kept]
internal UnknownBindingFlags (int foo, int bar, int baz)
{ }
}
[Kept]
private class MyType
{
[Kept]
public MyType ()
{ }
[Kept]
public MyType (string bar)
{ }
private MyType (int foo)
{ }
protected MyType (int foo, int bar)
{ }
internal MyType (int foo, int bar, int baz)
{ }
}
[Kept]
private class IfConstructor
{
[Kept]
public IfConstructor ()
{ }
[Kept]
public IfConstructor (int foo)
{ }
private IfConstructor (string foo)
{ }
protected IfConstructor (int foo, int bar)
{ }
internal IfConstructor (int foo, string bar)
{ }
}
[Kept]
private class ElseConstructor
{
[Kept]
public ElseConstructor ()
{ }
[Kept]
public ElseConstructor (int foo)
{ }
private ElseConstructor (string foo)
{ }
protected ElseConstructor (int foo, int bar)
{ }
internal ElseConstructor (int foo, string bar)
{ }
}
}
}
|
