Trim Analyzer and Trimmer warning parity

[jtschuster]

Tracking issue for all discrepancies between Trim analyzer, Trimmer, and ILC warnings in Mono.Linker.Tests.Cases

• SuppressMessage doesn't work on lambdas roslyn#59746
• The linker is unable to determine whether suppression is redundant when feature switches are used. linker#2921
• Missing support for DynamicDependency in trim analyzer #83080
• Analyzer handling of property access in expression trees linker#2669
• Data flow analysis: Track value's static type across boxing/unboxing #93718
• Method body scanner cannot determine static type of return value from IEnumerator<T>.get_Current #93719
• Trimmer implementation of type hierarchy marking shows order dependent behavior #86580
• DAM interaction with RequiresAttribute linker#2739
• Stop keeping everything in types with non-understood DebuggerDisplayAttribute linker#1873
• Analyzer: Type used in PInvoke should report RUC on default constructor linker#2116
• Handling of constant expressions for binding flags linker#2638
• RUC should suppress warnings about generics from type #108523
• Analysis hole: attributes on instance methods in RUC types linker#3140
• ILLink analyzer hole for deconstruction assignments linker#3158
• Warnings depend on order of constant prop and compiler-generated code detection linker#2937
• Analyzer parity with linker warnings linker#2273
• [ILLink analyzer] Analyzer doesn't produce RequiresDynamicCode warnings for dynamic objects #94427
• AssignmentPatterns can break with two out parameters from the same method #85464
• Linker produces unknown value for merged value assigned to array element linker#2737
• Different warning behavior for read of merged array in analyzer/ILLink/ILCompiler #93416
• [DAM analyzer] implement array tracking reset linker#2680
• Locals are not treated as independent blocks in linker logic linker#2746
• Analyzer doesn't visit Instance of all member references linker#2832
• ILLink analyzer produces dataflow warnings even for invalid annotations #101211
• MakeGenericType generates wrong warning for annotation mismatch #104911
• Handling of byref return values and locals in data flow analysis linker#2158
• Some of NativeAOT tests are disabled after sharing test cases with ILLink #82447
• Analyzer processes expression tree construction data flow differently from linker linker#3172
• Trimming: Reflection access to compiler generated methods produces warnings #85042
• Trim analyzer doesn't perform dataflow analysis on backing field #101191
• Analyzer doesn't warn about reflection access to generated backing fields linker#2628
• Trim analyzer doesn't recognize Linq Expressions translations #101148
• [feature/damAnalyzer] Analyzer doesn't take into account Interop attributes linker#2562
• ILLink: Trimmer, NativeAOT, and Trim analyzer have inconsistent UnsafeAccessor behavior #101195
• Analyzer produces duplicate IL2092 for default interface method #104627
• Trim analyzer: Implement type name parsing #95118
• Analyzer doesn't handle intrinsics with overrides linker#2673
• Linker doesn't track references/addresses for ldind.ref and always push an UnknownValue to the stack #85465
• Data flow incorrectly handles out and ref parameters #101734
• ILLink analyzer: implement warnings for DAM on type #104742
• ILLink doesn't track generic instantiation through GetType() #105345
• Trim analyzer misses base constructors with trim annotations #106796

[dotnet-policy-service]

Tagging subscribers to this area: @agocke, @sbomer, @vitek-karas
See info in area-owners.md if you want to be subscribed.