diff options
| author | Sven Boemer <sbomer@gmail.com> | 2022-07-22 00:56:11 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-22 00:56:11 +0300 |
| commit | dbb51b0d90603b54bbdca657902c56eafd7a32cb (patch) | |
| tree | 3b0b0d22675f98f1c21e7e49a373b34d5c524a12 /src/linker/Linker.Steps/MarkStep.cs | |
| parent | 58091524639f81a4733dcd66510d79341d3aa1b1 (diff) | |
Avoid dataflow analysis for generic parameters (#2908)
This avoids unnecessarily running the reflection methodbody scanner in
the linker, and the dataflow analysis in the analyzer, for methods
that were previously only triggering dataflow analysis due to
annotated generic parameters.
This eliminates unnecessary warnings for reflection access to
compiler-generated code.
Diffstat (limited to 'src/linker/Linker.Steps/MarkStep.cs')
| -rw-r--r-- | src/linker/Linker.Steps/MarkStep.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/linker/Linker.Steps/MarkStep.cs b/src/linker/Linker.Steps/MarkStep.cs index 6d19bcc76..bd174519e 100644 --- a/src/linker/Linker.Steps/MarkStep.cs +++ b/src/linker/Linker.Steps/MarkStep.cs @@ -2622,7 +2622,7 @@ namespace Mono.Linker.Steps TypeDefinition? argumentTypeDef = MarkType (argument, new DependencyInfo (DependencyKind.GenericArgumentType, instance)); - if (Annotations.FlowAnnotations.RequiresDataFlowAnalysis (parameter)) { + if (Annotations.FlowAnnotations.RequiresGenericArgumentDataFlowAnalysis (parameter)) { // The only two implementations of IGenericInstance both derive from MemberReference Debug.Assert (instance is MemberReference); |