Skip to content

Commit 08e2a5a

Browse files
michaelnebelmichaelnebel
committed
C#: Re-generate .NET 9 Runtime models.
1 parent a857069 commit 08e2a5a

File tree

82 files changed

+440
-174
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

82 files changed

+440
-174
lines changed

‎csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.model.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -56,6 +56,7 @@ extensions:
5656
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunAssembly", False, "get_AvailableTypes", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
5757
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunAssembly", False, "get_Methods", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
5858
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunHeader", False, "ToString", "()", "", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.ReadyToRunHeader.SignatureString]", "ReturnValue", "taint", "dfc-generated"]
59+
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunHeader", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
5960
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunImportSection+ImportSectionEntry", False, "ImportSectionEntry", "(System.Int32,System.Int32,System.Int32,System.Int64,System.UInt32,ILCompiler.Reflection.ReadyToRun.ReadyToRunSignature)", "", "Argument[5]", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.ReadyToRunImportSection+ImportSectionEntry.Signature]", "value", "dfc-generated"]
6061
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunImportSection", False, "ReadyToRunImportSection", "(System.Int32,ILCompiler.Reflection.ReadyToRun.ReadyToRunReader,System.Int32,System.Int32,Internal.ReadyToRunConstants.ReadyToRunImportSectionFlags,Internal.ReadyToRunConstants.ReadyToRunImportSectionType,System.Byte,System.Int32,System.Collections.Generic.List<ILCompiler.Reflection.ReadyToRun.ReadyToRunImportSection+ImportSectionEntry>,System.Int32,System.Int32,System.Reflection.PortableExecutable.Machine,System.UInt16)", "", "Argument[8]", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.ReadyToRunImportSection.Entries]", "value", "dfc-generated"]
6162
- ["ILCompiler.Reflection.ReadyToRun", "ReadyToRunMethod", False, "ReadyToRunMethod", "(ILCompiler.Reflection.ReadyToRun.ReadyToRunReader,ILCompiler.Reflection.ReadyToRun.IAssemblyMetadata,System.Reflection.Metadata.EntityHandle,System.Int32,System.String,System.String,System.String[],System.Nullable<System.Int32>)", "", "Argument[1]", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.ReadyToRunMethod.ComponentReader]", "value", "dfc-generated"]
@@ -100,6 +101,7 @@ extensions:
100101
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetArrayType", "(System.String,System.Reflection.Metadata.ArrayShape)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
101102
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetByReferenceType", "(System.String)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
102103
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetFunctionPointerType", "(System.Reflection.Metadata.MethodSignature<System.String>)", "", "Argument[0].Property[System.Reflection.Metadata.MethodSignature`1.ReturnType]", "ReturnValue", "taint", "dfc-generated"]
104+
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetFunctionPointerType", "(System.Reflection.Metadata.MethodSignature<System.String>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
103105
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetGenericInstantiation", "(System.String,System.Collections.Immutable.ImmutableArray<System.String>)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
104106
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetGenericInstantiation", "(System.String,System.Collections.Immutable.ImmutableArray<System.String>)", "", "Argument[1].Element", "ReturnValue", "taint", "dfc-generated"]
105107
- ["ILCompiler.Reflection.ReadyToRun", "StringTypeProviderBase<TGenericContext>", True, "GetModifiedType", "(System.String,System.String,System.Boolean)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]

‎csharp/ql/lib/ext/generated/ILCompiler.Reflection.ReadyToRun.x86.model.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,9 @@ extensions:
66
data:
77
- ["ILCompiler.Reflection.ReadyToRun.x86", "GcSlotTable+GcSlot", False, "GcSlot", "(System.Int32,System.String,System.Int32,System.Int32,ILCompiler.Reflection.ReadyToRun.GcSlotFlags)", "", "Argument[1]", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.x86.GcSlotTable+GcSlot.Register]", "value", "dfc-generated"]
88
- ["ILCompiler.Reflection.ReadyToRun.x86", "GcSlotTable+GcSlot", False, "GcSlot", "(System.Int32,System.String,System.Int32,System.Int32,System.Int32,System.Int32,ILCompiler.Reflection.ReadyToRun.GcSlotFlags)", "", "Argument[1]", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.x86.GcSlotTable+GcSlot.Register]", "taint", "dfc-generated"]
9+
- ["ILCompiler.Reflection.ReadyToRun.x86", "GcSlotTable+GcSlot", False, "GcSlot", "(System.Int32,System.String,System.Int32,System.Int32,System.Int32,System.Int32,ILCompiler.Reflection.ReadyToRun.GcSlotFlags)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
910
- ["ILCompiler.Reflection.ReadyToRun.x86", "GcSlotTable+GcSlot", False, "ToString", "()", "", "Argument[this].Property[ILCompiler.Reflection.ReadyToRun.x86.GcSlotTable+GcSlot.Register]", "ReturnValue", "taint", "dfc-generated"]
11+
- ["ILCompiler.Reflection.ReadyToRun.x86", "GcSlotTable+GcSlot", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
1012
- ["ILCompiler.Reflection.ReadyToRun.x86", "GcSlotTable", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
1113
- addsTo:
1214
pack: codeql/csharp-all

‎csharp/ql/lib/ext/generated/ILLink.RoslynAnalyzer.model.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,7 @@ extensions:
1313
- ["ILLink.RoslynAnalyzer", "IPropertySymbolExtensions", False, "GetSetMethod", "(Microsoft.CodeAnalysis.IPropertySymbol)", "", "Argument[0].Property[Microsoft.CodeAnalysis.IPropertySymbol.SetMethod]", "ReturnValue", "value", "dfc-generated"]
1414
- ["ILLink.RoslynAnalyzer", "ISymbolExtensions", False, "GetDisplayName", "(Microsoft.CodeAnalysis.ISymbol)", "", "Argument[0].Property[Microsoft.CodeAnalysis.ISymbol.MetadataName]", "ReturnValue", "taint", "dfc-generated"]
1515
- ["ILLink.RoslynAnalyzer", "ISymbolExtensions", False, "GetDisplayName", "(Microsoft.CodeAnalysis.ISymbol)", "", "Argument[0].Property[Microsoft.CodeAnalysis.ISymbol.Name]", "ReturnValue", "taint", "dfc-generated"]
16+
- ["ILLink.RoslynAnalyzer", "ISymbolExtensions", False, "GetDisplayName", "(Microsoft.CodeAnalysis.ISymbol)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
1617
- ["ILLink.RoslynAnalyzer", "RequiresAnalyzerBase", False, "FindContainingSymbol", "(Microsoft.CodeAnalysis.Diagnostics.OperationAnalysisContext,ILLink.RoslynAnalyzer.RequiresAnalyzerBase+DiagnosticTargets)", "", "Argument[0].Property[Microsoft.CodeAnalysis.Diagnostics.OperationAnalysisContext.ContainingSymbol]", "ReturnValue", "value", "dfc-generated"]
1718
- ["ILLink.RoslynAnalyzer", "RequiresAnalyzerBase", True, "GetMessageFromAttribute", "(Microsoft.CodeAnalysis.AttributeData)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
1819
- ["ILLink.RoslynAnalyzer", "RequiresUnreferencedCodeUtils", False, "GetMessageFromAttribute", "(Microsoft.CodeAnalysis.AttributeData)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]

‎csharp/ql/lib/ext/generated/ILLink.Shared.DataFlow.model.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -28,8 +28,8 @@ extensions:
2828
- ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "DeepCopy", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
2929
- ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "GetKnownValues", "()", "", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1._values]", "ReturnValue.SyntheticField[ILLink.Shared.DataFlow.ValueSet`1+Enumerable._values]", "value", "dfc-generated"]
3030
- ["ILLink.Shared.DataFlow", "ValueSet<TValue>", False, "ValueSet", "(TValue)", "", "Argument[0]", "Argument[this].SyntheticField[ILLink.Shared.DataFlow.ValueSet`1._values]", "value", "dfc-generated"]
31-
- ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
32-
- ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
31+
- ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[0]", "ReturnValue", "value", "df-generated"]
32+
- ["ILLink.Shared.DataFlow", "ValueSetLattice<TValue>", False, "Meet", "(ILLink.Shared.DataFlow.ValueSet<TValue>,ILLink.Shared.DataFlow.ValueSet<TValue>)", "", "Argument[1]", "ReturnValue", "value", "df-generated"]
3333
- addsTo:
3434
pack: codeql/csharp-all
3535
extensible: neutralModel

‎csharp/ql/lib/ext/generated/ILLink.Shared.model.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,10 @@ extensions:
55
extensible: summaryModel
66
data:
77
- ["ILLink.Shared", "DiagnosticString", False, "GetMessage", "(System.String[])", "", "Argument[0].Element", "ReturnValue", "taint", "dfc-generated"]
8+
- ["ILLink.Shared", "DiagnosticString", False, "GetMessage", "(System.String[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
89
- ["ILLink.Shared", "DiagnosticString", False, "GetMessageFormat", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
910
- ["ILLink.Shared", "DiagnosticString", False, "GetTitle", "(System.String[])", "", "Argument[0].Element", "ReturnValue", "taint", "dfc-generated"]
11+
- ["ILLink.Shared", "DiagnosticString", False, "GetTitle", "(System.String[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
1012
- ["ILLink.Shared", "DiagnosticString", False, "GetTitleFormat", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
1113
- addsTo:
1214
pack: codeql/csharp-all

‎csharp/ql/lib/ext/generated/ILLink.Tasks.model.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ extensions:
66
data:
77
- ["ILLink.Tasks", "ComputeManagedAssemblies", True, "Execute", "()", "", "Argument[this].Property[ILLink.Tasks.ComputeManagedAssemblies.Assemblies].Element", "Argument[this].Property[ILLink.Tasks.ComputeManagedAssemblies.ManagedAssemblies].Element", "value", "dfc-generated"]
88
- ["ILLink.Tasks", "ILLink", True, "GenerateCommandLineCommands", "()", "", "Argument[this].Property[ILLink.Tasks.ILLink.ILLinkPath]", "ReturnValue", "taint", "dfc-generated"]
9+
- ["ILLink.Tasks", "ILLink", True, "GenerateCommandLineCommands", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
910
- ["ILLink.Tasks", "ILLink", True, "GenerateFullPathToTool", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
1011
- ["ILLink.Tasks", "ILLink", True, "GenerateResponseFileCommands", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
1112
- ["ILLink.Tasks", "ILLink", True, "get_ToolName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]

0 commit comments

Comments
 (0)