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
|
// Copyright (c) .NET Foundation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE file in the project root for full license information.
using System;
using System.Collections.Generic;
using System.Diagnostics.CodeAnalysis;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
using Mono.Linker.Tests.Cases.Expectations.Assertions;
using Mono.Linker.Tests.Cases.Expectations.Metadata;
namespace Mono.Linker.Tests.Cases.DataFlow
{
[SkipPeVerify]
[SetupLinkerArgument ("--skip-unresolved", "true")]
[SetupCompileBefore ("UnresolvedLibrary.dll", new[] { "Dependencies/UnresolvedLibrary.cs" }, removeFromLinkerInput: true)]
[ExpectedNoWarnings]
class UnresolvedMembers
{
public static void Main ()
{
UnresolvedGenericArgument ();
UnresolvedAttributeArgument ();
UnresolvedAttributePropertyValue ();
UnresolvedAttributeFieldValue ();
UnresolvedObjectGetType ();
UnresolvedMethodParameter ();
}
[Kept]
[KeptMember (".ctor()")]
class TypeWithUnresolvedGenericArgument<
[KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))]
[DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicMethods)] T>
{
}
[Kept]
static void MethodWithUnresolvedGenericArgument<
[KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))]
[DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicMethods)] T> ()
{ }
[Kept]
[ExpectedWarning ("IL2066", "TypeWithUnresolvedGenericArgument")] // Local variable type
[ExpectedWarning ("IL2066", "TypeWithUnresolvedGenericArgument")] // Called method declaring type
[ExpectedWarning ("IL2066", nameof (MethodWithUnresolvedGenericArgument))]
static void UnresolvedGenericArgument ()
{
var a = new TypeWithUnresolvedGenericArgument<Dependencies.UnresolvedType> ();
MethodWithUnresolvedGenericArgument<Dependencies.UnresolvedType> ();
}
[Kept]
[KeptBaseType (typeof (Attribute))]
class AttributeWithRequirements : Attribute
{
[Kept]
public AttributeWithRequirements (
[KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))]
[DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.PublicMethods)] Type type)
{ }
[Kept]
[KeptBackingField]
[KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))]
[DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicMethods)]
public Type PropertyWithRequirements { get; [Kept] set; }
[Kept]
[KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))]
[DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicMethods)]
public Type FieldWithRequirements;
}
[Kept]
[ExpectedWarning ("IL2062", nameof (AttributeWithRequirements))]
[KeptAttributeAttribute (typeof (AttributeWithRequirements))]
[AttributeWithRequirements (typeof (Dependencies.UnresolvedType))]
static void UnresolvedAttributeArgument ()
{
}
[Kept]
[ExpectedWarning ("IL2062", nameof (AttributeWithRequirements.PropertyWithRequirements))]
[KeptAttributeAttribute (typeof (AttributeWithRequirements))]
[AttributeWithRequirements (typeof (EmptyType), PropertyWithRequirements = typeof (Dependencies.UnresolvedType))]
static void UnresolvedAttributePropertyValue ()
{
}
[Kept]
[ExpectedWarning ("IL2064", nameof (AttributeWithRequirements.FieldWithRequirements))]
[KeptAttributeAttribute (typeof (AttributeWithRequirements))]
[AttributeWithRequirements (typeof (EmptyType), FieldWithRequirements = typeof (Dependencies.UnresolvedType))]
static void UnresolvedAttributeFieldValue ()
{
}
[Kept]
static Dependencies.UnresolvedType _unresolvedField;
[Kept]
[ExpectedWarning ("IL2072", nameof (Object.GetType))]
static void UnresolvedObjectGetType ()
{
RequirePublicMethods (_unresolvedField.GetType ());
}
[Kept]
[ExpectedWarning ("IL2072", nameof (Object.GetType))]
static void UnresolvedMethodParameter ()
{
RequirePublicMethods (typeof (Dependencies.UnresolvedType));
}
[Kept]
class EmptyType
{
}
[Kept]
static void RequirePublicMethods (
[KeptAttributeAttribute (typeof (DynamicallyAccessedMembersAttribute))]
[DynamicallyAccessedMembers (DynamicallyAccessedMemberTypes.PublicMethods)]
Type t)
{
}
}
}
|
