hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 03:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Update library tests.

Browse Source
This commit is contained in:
Michael Nebel
2023-01-20 16:51:54 +01:00
parent 33a923a85b
commit 89de6cb8a0
12 changed files with 4647 additions and 2962 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/ql/test/library-tests/assemblies/compilation.expected
View File

@@ -1,9 +1,9 @@
| Assembly1, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null | no compilation |
| Locations, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null | has compilation |
| System, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 | no compilation |
| System.Console, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Console, Version=7.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Core, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 | no compilation |
| System.Private.CoreLib, Version=6.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e | no compilation |
| System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Runtime.Extensions, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Private.CoreLib, Version=7.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e | no compilation |
| System.Runtime, Version=7.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Runtime.Extensions, Version=7.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 | no compilation |

6163
csharp/ql/test/library-tests/cil/attributes/attribute.expected
View File

File diff suppressed because it is too large Load Diff

21
csharp/ql/test/library-tests/cil/dataflow/CallableReturns.expected
View File

@@ -6,7 +6,7 @@ alwaysNull
| System.Object Dataflow.NullMethods.VirtualReturnsNull() | 0: ldnull, 1: ret |
| System.Object Dataflow.NullMethods.get_NullProperty() | 0: ldnull, 1: ret |
| System.Object Dataflow.NullMethods.get_VirtualNullProperty() | 0: ldnull, 1: ret |
| System.Object System.Collections.EmptyReadOnlyDictionaryInternal.get_Item(System.Object) | 0: ldarg.1, 1: brtrue.s 6:, 2: ldstr "key", 3: call System.SR.get_ArgumentNull_Key, 4: newobj System.ArgumentNullException..ctor, 5: throw, 6: ldnull, 7: ret |
| System.Object System.Collections.EmptyReadOnlyDictionaryInternal.get_Item(System.Object) | 0: ldarg.1, 1: ldstr "key", 2: call System.ArgumentNullException.ThrowIfNull, 3: ldnull, 4: ret |
alwaysNonNull
| System.ArgumentException System.ThrowHelper.GetAddingDuplicateWithKeyArgumentException(System.Object) |
| System.ArgumentException System.ThrowHelper.GetWrongKeyTypeArgumentException(System.Object,System.Type) |
@@ -35,9 +35,12 @@ alwaysThrows
| System.Object Dataflow.ThrowingMethods.get_ThrowProperty() | System.Exception | 0: newobj System.Exception..ctor, 1: throw |
| System.Object Dataflow.ThrowingMethods.get_VirtualThrowProperty() | System.Exception | 0: newobj System.Exception..ctor, 1: throw |
| System.Object System.ValueTuple.get_Item(System.Int32) | System.IndexOutOfRangeException | 0: newobj System.IndexOutOfRangeException..ctor, 1: throw |
| System.Void System.Reflection.InvokerEmitUtil.ThrowHelper.Throw_NullReference_InvokeNullRefReturned() | System.NullReferenceException | 0: call System.SR.get_NullReference_InvokeNullRefReturned, 1: newobj System.NullReferenceException..ctor, 2: throw |
| System.Void System.ThrowHelper.ArgumentOutOfRangeException_Enum_Value() | System.ArgumentOutOfRangeException | 0: ldstr "value", 1: call System.SR.get_ArgumentOutOfRange_Enum, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowAddingDuplicateWithKeyArgumentException`1(!0) | System.ArgumentException | 0: ldarg.0, 1: box, 2: call System.ThrowHelper.GetAddingDuplicateWithKeyArgumentException, 3: throw |
| System.Void System.ThrowHelper.ThrowAggregateException(System.Collections.Generic.List<System.Exception>) | System.AggregateException | 0: ldarg.0, 1: newobj System.AggregateException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_Arg_CannotBeNaN() | System.ArgumentException | 0: call System.SR.get_Arg_CannotBeNaN, 1: newobj System.ArgumentException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_ArgumentNull_TypedRefType() | System.ArgumentNullException | 0: ldstr "value", 1: call System.SR.get_ArgumentNull_TypedRefType, 2: newobj System.ArgumentNullException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_Argument_InvalidArrayType() | System.ArgumentException | 0: call System.SR.get_Argument_InvalidArrayType, 1: newobj System.ArgumentException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_BadComparer(System.Object) | System.ArgumentException | 0: call System.SR.get_Arg_BogusIComparer, 1: ldarg.0, 2: call System.SR.Format, 3: newobj System.ArgumentException..ctor, 4: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_CannotExtractScalar(System.ExceptionArgument) | System.ArgumentException | 0: ldc.i4.s 31, 1: ldarg.0, 2: call System.ThrowHelper.GetArgumentException, 3: throw |
@@ -56,15 +59,17 @@ alwaysThrows
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_BadHourMinuteSecond() | System.ArgumentOutOfRangeException | 0: ldnull, 1: call System.SR.get_ArgumentOutOfRange_BadHourMinuteSecond, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_BadYearMonthDay() | System.ArgumentOutOfRangeException | 0: ldnull, 1: call System.SR.get_ArgumentOutOfRange_BadYearMonthDay, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_DayNumber(System.Int32) | System.ArgumentOutOfRangeException | 0: ldstr "dayNumber", 1: ldarg.0, 2: box, 3: call System.SR.get_ArgumentOutOfRange_DayNumber, 4: newobj System.ArgumentOutOfRangeException..ctor, 5: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_IndexException() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.0, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_IndexMustBeLessException() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.1, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_IndexMustBeLessOrEqualException() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.0, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_Month(System.Int32) | System.ArgumentOutOfRangeException | 0: ldstr "month", 1: ldarg.0, 2: box, 3: call System.SR.get_ArgumentOutOfRange_Month, 4: newobj System.ArgumentOutOfRangeException..ctor, 5: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_TimeSpanTooLong() | System.ArgumentOutOfRangeException | 0: ldnull, 1: call System.SR.get_Overflow_TimeSpanTooLong, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_Year() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.4, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_Year() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.5, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArraySegmentCtorValidationFailedExceptions(System.Array,System.Int32,System.Int32) | System.Exception | 0: ldarg.0, 1: ldarg.1, 2: ldarg.2, 3: call System.ThrowHelper.GetArraySegmentCtorValidationFailedException, 4: throw |
| System.Void System.ThrowHelper.ThrowArrayTypeMismatchException() | System.ArrayTypeMismatchException | 0: newobj System.ArrayTypeMismatchException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowCountArgumentOutOfRange_ArgumentOutOfRange_Count() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.3, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowCountArgumentOutOfRange_ArgumentOutOfRange_Count() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.4, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowEndOfFileException() | System.Exception | 0: call System.ThrowHelper.CreateEndOfFileException, 1: throw |
| System.Void System.ThrowHelper.ThrowFormatException_BadFormatSpecifier() | System.FormatException | 0: call System.SR.get_Argument_BadFormatSpecifier, 1: newobj System.FormatException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowFormatInvalidString() | System.FormatException | 0: call System.SR.get_Format_InvalidString, 1: newobj System.FormatException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowIndexArgumentOutOfRange_NeedNonNegNumException() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.s 31, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowIndexOutOfRangeException() | System.IndexOutOfRangeException | 0: newobj System.IndexOutOfRangeException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException() | System.InvalidOperationException | 0: newobj System.InvalidOperationException..ctor, 1: throw |
@@ -84,10 +89,16 @@ alwaysThrows
| System.Void System.ThrowHelper.ThrowNotSupportedException_UnreadableStream() | System.NotSupportedException | 0: call System.SR.get_NotSupported_UnreadableStream, 1: newobj System.NotSupportedException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowNotSupportedException_UnseekableStream() | System.NotSupportedException | 0: call System.SR.get_NotSupported_UnseekableStream, 1: newobj System.NotSupportedException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowNotSupportedException_UnwritableStream() | System.NotSupportedException | 0: call System.SR.get_NotSupported_UnwritableStream, 1: newobj System.NotSupportedException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowNullReferenceException() | System.NullReferenceException | 0: call System.SR.get_Arg_NullArgumentNullRef, 1: newobj System.NullReferenceException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowObjectDisposedException(System.Object) | System.ObjectDisposedException | 0: ldarg.0, 1: brtrue.s 4:, 2: ldnull, 3: br.s 7:, 4: ldarg.0, 5: call System.Object.GetType, 6: callvirt System.Type.get_FullName, 7: newobj System.ObjectDisposedException..ctor, 8: throw |
| System.Void System.ThrowHelper.ThrowObjectDisposedException(System.Type) | System.ObjectDisposedException | 0: ldarg.0, 1: brtrue.s 4:, 2: ldnull, 3: br.s 6:, 4: ldarg.0, 5: callvirt System.Type.get_FullName, 6: newobj System.ObjectDisposedException..ctor, 7: throw |
| System.Void System.ThrowHelper.ThrowObjectDisposedException_FileClosed() | System.ObjectDisposedException | 0: ldnull, 1: call System.SR.get_ObjectDisposed_FileClosed, 2: newobj System.ObjectDisposedException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowObjectDisposedException_StreamClosed(System.String) | System.ObjectDisposedException | 0: ldarg.0, 1: call System.SR.get_ObjectDisposed_StreamClosed, 2: newobj System.ObjectDisposedException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowOutOfMemoryException() | System.OutOfMemoryException | 0: newobj System.OutOfMemoryException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowStartIndexArgumentOutOfRange_ArgumentOutOfRange_Index() | System.ArgumentOutOfRangeException | 0: ldc.i4.8, 1: ldc.i4.0, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowOverflowException() | System.OverflowException | 0: newobj System.OverflowException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowOverflowException_TimeSpanTooLong() | System.OverflowException | 0: call System.SR.get_Overflow_TimeSpanTooLong, 1: newobj System.OverflowException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowStartIndexArgumentOutOfRange_ArgumentOutOfRange_IndexMustBeLess() | System.ArgumentOutOfRangeException | 0: ldc.i4.8, 1: ldc.i4.1, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowStartIndexArgumentOutOfRange_ArgumentOutOfRange_IndexMustBeLessOrEqual() | System.ArgumentOutOfRangeException | 0: ldc.i4.8, 1: ldc.i4.0, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowValueArgumentOutOfRange_NeedNonNegNumException() | System.ArgumentOutOfRangeException | 0: ldc.i4.7, 1: ldc.i4.s 31, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowWrongKeyTypeArgumentException`1(!0,System.Type) | System.ArgumentException | 0: ldarg.0, 1: box, 2: ldarg.1, 3: call System.ThrowHelper.GetWrongKeyTypeArgumentException, 4: throw |
| System.Void System.ThrowHelper.ThrowWrongValueTypeArgumentException`1(!0,System.Type) | System.ArgumentException | 0: ldarg.0, 1: box, 2: ldarg.1, 3: call System.ThrowHelper.GetWrongValueTypeArgumentException, 4: throw |

1
csharp/ql/test/library-tests/cil/dataflow/TrivialProperties.expected
View File

@@ -6,5 +6,6 @@
| System.Reflection.AssemblyName.CultureInfo |
| System.Reflection.AssemblyName.HashAlgorithm |
| System.Reflection.AssemblyName.Name |
| System.Reflection.AssemblyName.RawFlags |
| System.Reflection.AssemblyName.Version |
| System.Reflection.AssemblyName.VersionCompatibility |

14
csharp/ql/test/library-tests/cil/enums/enums.expected
View File

@@ -11,11 +11,10 @@
| Interop.Sys.LockOperations | int |
| Interop.Sys.NodeType | int |
| Interop.Sys.OpenFlags | int |
| Interop.Sys.Permissions | int |
| Interop.Sys.SeekWhence | int |
| Interop.Sys.SysConfName | int |
| Interop.Sys.SysLogPriority | int |
| Interop.Sys.UnixFileSystemTypes | long |
| Interop.Sys.UnixFileSystemTypes | uint |
| Microsoft.Win32.SafeHandles.SafeFileHandle.NullableBool | int |
| Microsoft.Win32.SafeHandles.SafeFileHandle.ThreadPoolValueTaskSource.Operation | byte |
| System.AttributeTargets | int |
@@ -75,6 +74,7 @@
| System.ExceptionArgument | int |
| System.ExceptionResource | int |
| System.GC.EndNoGCRegionStatus | int |
| System.GC.GCConfigurationType | int |
| System.GC.GC_ALLOC_FLAGS | int |
| System.GC.StartNoGCRegionStatus | int |
| System.GCCollectionMode | int |
@@ -122,6 +122,7 @@
| System.IO.SearchOption | int |
| System.IO.SearchTarget | int |
| System.IO.SeekOrigin | int |
| System.IO.UnixFileMode | int |
| System.LazyState | int |
| System.LoaderOptimization | int |
| System.MidpointRounding | int |
@@ -132,6 +133,8 @@
| System.PlatformID | int |
| System.Reflection.AssemblyContentType | int |
| System.Reflection.AssemblyNameFlags | int |
| System.Reflection.AssemblyNameParser.AttributeKind | int |
| System.Reflection.AssemblyNameParser.Token | int |
| System.Reflection.Associates.Attributes | int |
| System.Reflection.BindingFlags | int |
| System.Reflection.CallingConventions | int |
@@ -153,8 +156,8 @@
| System.Reflection.ExceptionHandlingClauseOptions | int |
| System.Reflection.FieldAttributes | int |
| System.Reflection.GenericParameterAttributes | int |
| System.Reflection.INVOCATION_FLAGS | uint |
| System.Reflection.ImageFileMachine | int |
| System.Reflection.InvocationFlags | uint |
| System.Reflection.MdSigCallingConvention | byte |
| System.Reflection.MemberTypes | int |
| System.Reflection.MetadataTokenType | int |
@@ -165,6 +168,7 @@
| System.Reflection.NullabilityState | int |
| System.Reflection.PInvokeAttributes | int |
| System.Reflection.ParameterAttributes | int |
| System.Reflection.ParameterCopyBackAction | byte |
| System.Reflection.PortableExecutableKinds | int |
| System.Reflection.ProcessorArchitecture | int |
| System.Reflection.PropertyAttributes | int |
@@ -183,6 +187,7 @@
| System.Runtime.GCLargeObjectHeapCompactionMode | int |
| System.Runtime.GCLatencyMode | int |
| System.Runtime.GCSettings.SetLatencyModeStatus | int |
| System.Runtime.InteropServices.Architecture | int |
| System.Runtime.InteropServices.CallingConvention | int |
| System.Runtime.InteropServices.CharSet | int |
| System.Runtime.InteropServices.ClassInterfaceType | int |
@@ -210,8 +215,10 @@
| System.Runtime.InteropServices.DllImportSearchPath | int |
| System.Runtime.InteropServices.GCHandleType | int |
| System.Runtime.InteropServices.LayoutKind | int |
| System.Runtime.InteropServices.Marshalling.MarshalMode | int |
| System.Runtime.InteropServices.ObjectiveC.ObjectiveCMarshal.MessageSendFunction | int |
| System.Runtime.InteropServices.PosixSignal | int |
| System.Runtime.InteropServices.StringMarshalling | int |
| System.Runtime.InteropServices.UnmanagedType | int |
| System.Runtime.InteropServices.VarEnum | int |
| System.Runtime.Intrinsics.X86.FloatComparisonMode | byte |
@@ -220,6 +227,7 @@
| System.Runtime.Versioning.ComponentGuaranteesOptions | int |
| System.Runtime.Versioning.ResourceScope | int |
| System.Runtime.Versioning.SxSRequirements | int |
| System.RuntimeType.CheckValueStatus | int |
| System.RuntimeType.MemberListType | int |
| System.RuntimeType.RuntimeTypeCache.CacheType | int |
| System.Security.PartialTrustVisibilityLevel | int |

17
csharp/ql/test/library-tests/cil/functionPointers/functionPointers.expected
View File

@@ -6,7 +6,7 @@ fnptr
| delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | 2 | Int32 | 0 |
| delegate* managed<Int32*,Void*> | 1 | Void* | 0 |
| delegate* managed<Int32> | 0 | Int32 | 0 |
| delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 3 | void | 0 |
| delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | 3 | void | 0 |
| delegate* managed<Object,Void> | 1 | void | 0 |
| delegate* managed<Void*,Int32*> | 1 | Int32* | 0 |
| delegate* managed<Void*,Object> | 1 | Object | 0 |
@@ -15,6 +15,8 @@ fnptr
| delegate* unmanaged<IntPtr,Guid*,IntPtr*,Int32> | 3 | Int32 | 9 |
| delegate* unmanaged<IntPtr,Int32> | 1 | Int32 | 9 |
| delegate* unmanaged<IntPtr,Void> | 1 | void | 9 |
| delegate* unmanaged<Void*,Byte*,Void> | 2 | void | 9 |
| delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 5 | void | 9 |
| delegate* unmanaged<Void> | 0 | void | 9 |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 3 | void | 2 |
params
@@ -27,9 +29,9 @@ params
| delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | 0 | Parameter 0 of delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | Int32& |
| delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | 1 | Parameter 1 of delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | Object& |
| delegate* managed<Int32*,Void*> | 0 | Parameter 0 of delegate* managed<Int32*,Void*> | Int32* |
| delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 0 | Parameter 0 of delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | IntPtr |
| delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 1 | Parameter 1 of delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | IntPtr |
| delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 2 | Parameter 2 of delegate* managed<IntPtr,IntPtr,PortableTailCallFrame*,Void> | PortableTailCallFrame* |
| delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | 0 | Parameter 0 of delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | IntPtr |
| delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | 1 | Parameter 1 of delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | Byte& |
| delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | 2 | Parameter 2 of delegate* managed<IntPtr,Byte&,PortableTailCallFrame*,Void> | PortableTailCallFrame* |
| delegate* managed<Object,Void> | 0 | Parameter 0 of delegate* managed<Object,Void> | Object |
| delegate* managed<Void*,Int32*> | 0 | Parameter 0 of delegate* managed<Void*,Int32*> | Void* |
| delegate* managed<Void*,Object> | 0 | Parameter 0 of delegate* managed<Void*,Object> | Void* |
@@ -42,6 +44,13 @@ params
| delegate* unmanaged<IntPtr,Guid*,IntPtr*,Int32> | 2 | Parameter 2 of delegate* unmanaged<IntPtr,Guid*,IntPtr*,Int32> | IntPtr* |
| delegate* unmanaged<IntPtr,Int32> | 0 | Parameter 0 of delegate* unmanaged<IntPtr,Int32> | IntPtr |
| delegate* unmanaged<IntPtr,Void> | 0 | Parameter 0 of delegate* unmanaged<IntPtr,Void> | IntPtr |
| delegate* unmanaged<Void*,Byte*,Void> | 0 | Parameter 0 of delegate* unmanaged<Void*,Byte*,Void> | Void* |
| delegate* unmanaged<Void*,Byte*,Void> | 1 | Parameter 1 of delegate* unmanaged<Void*,Byte*,Void> | Byte* |
| delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 0 | Parameter 0 of delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | Void* |
| delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 1 | Parameter 1 of delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | Void* |
| delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 2 | Parameter 2 of delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | Void* |
| delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 3 | Parameter 3 of delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | GCConfigurationType |
| delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 4 | Parameter 4 of delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | Int64 |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 0 | Parameter 0 of delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | Int32& |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 1 | Parameter 1 of delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | Object& |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 2 | Parameter 2 of delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | !0 |

10
csharp/ql/test/library-tests/cil/init-only-prop/customModifiers.expected
View File

@@ -1,13 +1,12 @@
| AsRef | System.Runtime.InteropServices.InAttribute | modreq |
| EventWriteTransfer | System.Runtime.InteropServices.InAttribute | modreq |
| GetPinnableReference | System.Runtime.InteropServices.InAttribute | modreq |
| Invoke | System.Runtime.InteropServices.InAttribute | modreq |
| Max | System.Runtime.InteropServices.InAttribute | modreq |
| Min | System.Runtime.InteropServices.InAttribute | modreq |
| GetValueRefOrDefaultRef | System.Runtime.InteropServices.InAttribute | modreq |
| ThreadIDExecutingCallbacks | System.Runtime.CompilerServices.IsVolatile | modreq |
| Value | System.Runtime.CompilerServices.IsVolatile | modreq |
| _bufferedValuesIndex | System.Runtime.CompilerServices.IsVolatile | modreq |
| _canSeek | System.Runtime.CompilerServices.IsVolatile | modreq |
| _cancelCompleted | System.Runtime.CompilerServices.IsVolatile | modreq |
| _container | System.Runtime.CompilerServices.IsVolatile | modreq |
| _fullyInitialized | System.Runtime.CompilerServices.IsVolatile | modreq |
| _head | System.Runtime.CompilerServices.IsVolatile | modreq |
@@ -67,7 +66,6 @@
| m_tailIndex | System.Runtime.CompilerServices.IsVolatile | modreq |
| m_taskSchedulerId | System.Runtime.CompilerServices.IsVolatile | modreq |
| m_waitHandle | System.Runtime.CompilerServices.IsVolatile | modreq |
| numOutstandingThreadRequests | System.Runtime.CompilerServices.IsVolatile | modreq |
| numRequestedWorkers | System.Runtime.CompilerServices.IsVolatile | modreq |
| property Current | System.Runtime.InteropServices.InAttribute | modreq |
| property Item | System.Runtime.InteropServices.InAttribute | modreq |
@@ -92,13 +90,17 @@
| s_invariantInfo | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_jajpDTFI | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_japaneseEraInfo | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_osArchPlusOne | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_osVersion | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_processId | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_processPath | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_provider | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_providers | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_regionNames | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_systemPageSize | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_useNet6KeyParser | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_userDefaultCulture | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_userDefaultUICulture | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_zhtwDTFI | System.Runtime.CompilerServices.IsVolatile | modreq |
| set_IsOptional | System.Runtime.CompilerServices.IsExternalInit | modreq |
| set_Prop2 | System.Runtime.CompilerServices.IsExternalInit | modreq |

1301
csharp/ql/test/library-tests/cil/typeAnnotations/typeAnnotations.expected
View File

File diff suppressed because it is too large Load Diff

33
csharp/ql/test/library-tests/conversion/boxing/Boxing.expected
View File

@@ -12,11 +12,11 @@
| Char | IBitwiseOperators<Char,Char,Char> |
| Char | IComparable |
| Char | IComparable<Char> |
| Char | IComparisonOperators<Char,Char> |
| Char | IComparisonOperators<Char,Char,Boolean> |
| Char | IConvertible |
| Char | IDecrementOperators<Char> |
| Char | IDivisionOperators<Char,Char,Char> |
| Char | IEqualityOperators<Char,Char> |
| Char | IEqualityOperators<Char,Char,Boolean> |
| Char | IEquatable<Char> |
| Char | IFormattable |
| Char | IIncrementOperators<Char> |
@@ -25,10 +25,11 @@
| Char | IMultiplicativeIdentity<Char,Char> |
| Char | IMultiplyOperators<Char,Char,Char> |
| Char | INumber<Char> |
| Char | IParseable<Char> |
| Char | IShiftOperators<Char,Char> |
| Char | INumberBase<Char> |
| Char | IParsable<Char> |
| Char | IShiftOperators<Char,Int32,Char> |
| Char | ISpanFormattable |
| Char | ISpanParseable<Char> |
| Char | ISpanParsable<Char> |
| Char | ISubtractionOperators<Char,Char,Char> |
| Char | IUnaryNegationOperators<Char,Char> |
| Char | IUnaryPlusOperators<Char,Char> |
@@ -47,11 +48,11 @@
| Int32 | IBitwiseOperators<Int32,Int32,Int32> |
| Int32 | IComparable |
| Int32 | IComparable<Int32> |
| Int32 | IComparisonOperators<Int32,Int32> |
| Int32 | IComparisonOperators<Int32,Int32,Boolean> |
| Int32 | IConvertible |
| Int32 | IDecrementOperators<Int32> |
| Int32 | IDivisionOperators<Int32,Int32,Int32> |
| Int32 | IEqualityOperators<Int32,Int32> |
| Int32 | IEqualityOperators<Int32,Int32,Boolean> |
| Int32 | IEquatable<Int32> |
| Int32 | IFormattable |
| Int32 | IIncrementOperators<Int32> |
@@ -60,11 +61,12 @@
| Int32 | IMultiplicativeIdentity<Int32,Int32> |
| Int32 | IMultiplyOperators<Int32,Int32,Int32> |
| Int32 | INumber<Int32> |
| Int32 | IParseable<Int32> |
| Int32 | IShiftOperators<Int32,Int32> |
| Int32 | INumberBase<Int32> |
| Int32 | IParsable<Int32> |
| Int32 | IShiftOperators<Int32,Int32,Int32> |
| Int32 | ISignedNumber<Int32> |
| Int32 | ISpanFormattable |
| Int32 | ISpanParseable<Int32> |
| Int32 | ISpanParsable<Int32> |
| Int32 | ISubtractionOperators<Int32,Int32,Int32> |
| Int32 | IUnaryNegationOperators<Int32,Int32> |
| Int32 | IUnaryPlusOperators<Int32,Int32> |
@@ -78,11 +80,11 @@
| Nullable<Int32> | IBitwiseOperators<Int32,Int32,Int32> |
| Nullable<Int32> | IComparable |
| Nullable<Int32> | IComparable<Int32> |
| Nullable<Int32> | IComparisonOperators<Int32,Int32> |
| Nullable<Int32> | IComparisonOperators<Int32,Int32,Boolean> |
| Nullable<Int32> | IConvertible |
| Nullable<Int32> | IDecrementOperators<Int32> |
| Nullable<Int32> | IDivisionOperators<Int32,Int32,Int32> |
| Nullable<Int32> | IEqualityOperators<Int32,Int32> |
| Nullable<Int32> | IEqualityOperators<Int32,Int32,Boolean> |
| Nullable<Int32> | IEquatable<Int32> |
| Nullable<Int32> | IFormattable |
| Nullable<Int32> | IIncrementOperators<Int32> |
@@ -91,11 +93,12 @@
| Nullable<Int32> | IMultiplicativeIdentity<Int32,Int32> |
| Nullable<Int32> | IMultiplyOperators<Int32,Int32,Int32> |
| Nullable<Int32> | INumber<Int32> |
| Nullable<Int32> | IParseable<Int32> |
| Nullable<Int32> | IShiftOperators<Int32,Int32> |
| Nullable<Int32> | INumberBase<Int32> |
| Nullable<Int32> | IParsable<Int32> |
| Nullable<Int32> | IShiftOperators<Int32,Int32,Int32> |
| Nullable<Int32> | ISignedNumber<Int32> |
| Nullable<Int32> | ISpanFormattable |
| Nullable<Int32> | ISpanParseable<Int32> |
| Nullable<Int32> | ISpanParsable<Int32> |
| Nullable<Int32> | ISubtractionOperators<Int32,Int32,Int32> |
| Nullable<Int32> | IUnaryNegationOperators<Int32,Int32> |
| Nullable<Int32> | IUnaryPlusOperators<Int32,Int32> |

21
csharp/ql/test/library-tests/conversion/operator/Operator.expected
View File

@@ -3,25 +3,37 @@
| ArraySegment<T> | ReadOnlySpan<> |
| ArraySegment<T> | Span<> |
| Byte | Decimal |
| Byte | Half |
| Byte | Int128 |
| Byte | NFloat |
| Byte | UInt128 |
| Char | Decimal |
| Char | Int128 |
| Char | NFloat |
| Char | StandardFormat |
| Char | UInt128 |
| DateTime | DateTimeOffset |
| Half | NFloat |
| Int16 | Decimal |
| Int16 | Int128 |
| Int16 | NFloat |
| Int32 | C |
| Int32 | Decimal |
| Int32 | Index |
| Int32 | Int128 |
| Int32 | MetadataToken |
| Int32 | NFloat |
| Int64 | Decimal |
| Int64 | Int128 |
| Int64 | NFloat |
| IntPtr | Int128 |
| IntPtr | NFloat |
| Memory<> | ReadOnlyMemory<T> |
| MetadataToken | Int32 |
| NFloat | Double |
| SByte | Decimal |
| SByte | Half |
| SByte | Int128 |
| SByte | NFloat |
| Single | NFloat |
| Span<> | ReadOnlySpan<T> |
@@ -33,9 +45,18 @@
| T[] | ReadOnlySpan<> |
| T[] | Span<> |
| UInt16 | Decimal |
| UInt16 | Int128 |
| UInt16 | NFloat |
| UInt16 | UInt128 |
| UInt32 | Decimal |
| UInt32 | Int128 |
| UInt32 | NFloat |
| UInt32 | UInt128 |
| UInt64 | Decimal |
| UInt64 | Int128 |
| UInt64 | NFloat |
| UInt64 | UInt128 |
| UIntPtr | Int128 |
| UIntPtr | NFloat |
| UIntPtr | UInt128 |
| UnixFileMode | Nullable<UnixFileMode> |

17
csharp/ql/test/library-tests/csharp9/FunctionPointer.expected
View File

@@ -5,7 +5,7 @@ type
| file://:0:0:0:0 | delegate* default<Int32 ref,Object out,Int32 ref readonly> | readonly int | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<Int32*,Void*> | Void* | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<Int32> | int | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<IntPtr,IntPtr,PortableTailCallFrame*,Void> | Void | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<IntPtr,Byte ref,PortableTailCallFrame*,Void> | Void | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<Object,Void> | Void | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<T,Int32> | int | DefaultCallingConvention |
| file://:0:0:0:0 | delegate* default<Void*,Int32*> | int* | DefaultCallingConvention |
@@ -15,6 +15,8 @@ type
| file://:0:0:0:0 | delegate* unmanaged<Int32,PosixSignal,Int32> | int | UnmanagedCallingConvention |
| file://:0:0:0:0 | delegate* unmanaged<IntPtr,Int32> | int | UnmanagedCallingConvention |
| file://:0:0:0:0 | delegate* unmanaged<IntPtr,Void> | Void | UnmanagedCallingConvention |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Byte*,Void> | Void | UnmanagedCallingConvention |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | Void | UnmanagedCallingConvention |
| file://:0:0:0:0 | delegate* unmanaged<Void> | Void | UnmanagedCallingConvention |
unmanagedCallingConvention
parameter
@@ -26,9 +28,9 @@ parameter
| file://:0:0:0:0 | delegate* default<Int32 ref,Object out,Int32 ref readonly> | 0 | file://:0:0:0:0 | | ref int! |
| file://:0:0:0:0 | delegate* default<Int32 ref,Object out,Int32 ref readonly> | 1 | file://:0:0:0:0 | `1 | out object? |
| file://:0:0:0:0 | delegate* default<Int32*,Void*> | 0 | file://:0:0:0:0 | | int*! |
| file://:0:0:0:0 | delegate* default<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 0 | file://:0:0:0:0 | | IntPtr! |
| file://:0:0:0:0 | delegate* default<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 1 | file://:0:0:0:0 | `1 | IntPtr! |
| file://:0:0:0:0 | delegate* default<IntPtr,IntPtr,PortableTailCallFrame*,Void> | 2 | file://:0:0:0:0 | `2 | PortableTailCallFrame*! |
| file://:0:0:0:0 | delegate* default<IntPtr,Byte ref,PortableTailCallFrame*,Void> | 0 | file://:0:0:0:0 | | IntPtr! |
| file://:0:0:0:0 | delegate* default<IntPtr,Byte ref,PortableTailCallFrame*,Void> | 1 | file://:0:0:0:0 | `1 | ref byte! |
| file://:0:0:0:0 | delegate* default<IntPtr,Byte ref,PortableTailCallFrame*,Void> | 2 | file://:0:0:0:0 | `2 | PortableTailCallFrame*! |
| file://:0:0:0:0 | delegate* default<Object,Void> | 0 | file://:0:0:0:0 | | object |
| file://:0:0:0:0 | delegate* default<T,Int32> | 0 | file://:0:0:0:0 | | T |
| file://:0:0:0:0 | delegate* default<Void*,Int32*> | 0 | file://:0:0:0:0 | | Void*! |
@@ -42,6 +44,13 @@ parameter
| file://:0:0:0:0 | delegate* unmanaged<Int32,PosixSignal,Int32> | 1 | file://:0:0:0:0 | `1 | PosixSignal! |
| file://:0:0:0:0 | delegate* unmanaged<IntPtr,Int32> | 0 | file://:0:0:0:0 | | IntPtr! |
| file://:0:0:0:0 | delegate* unmanaged<IntPtr,Void> | 0 | file://:0:0:0:0 | | IntPtr! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Byte*,Void> | 0 | file://:0:0:0:0 | | Void*! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Byte*,Void> | 1 | file://:0:0:0:0 | `1 | byte*! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 0 | file://:0:0:0:0 | | Void*! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 1 | file://:0:0:0:0 | `1 | Void*! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 2 | file://:0:0:0:0 | `2 | Void*! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 3 | file://:0:0:0:0 | `3 | GCConfigurationType! |
| file://:0:0:0:0 | delegate* unmanaged<Void*,Void*,Void*,GCConfigurationType,Int64,Void> | 4 | file://:0:0:0:0 | `4 | long! |
invocation
| FunctionPointer.cs:17:21:17:43 | function pointer call |
| FunctionPointer.cs:23:13:23:44 | function pointer call |

3
csharp/ql/test/library-tests/dispatch/viableCallable.expected
View File

@@ -216,18 +216,21 @@
| ViableCallable.cs:178:13:178:17 | dynamic call to operator + | + | Double |
| ViableCallable.cs:178:13:178:17 | dynamic call to operator + | + | Int32 |
| ViableCallable.cs:178:13:178:17 | dynamic call to operator + | + | Int64 |
| ViableCallable.cs:178:13:178:17 | dynamic call to operator + | + | Int128 |
| ViableCallable.cs:178:13:178:17 | dynamic call to operator + | + | NFloat |
| ViableCallable.cs:178:13:178:17 | dynamic call to operator + | + | Single |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | Decimal |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | Double |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | Int32 |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | Int64 |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | Int128 |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | NFloat |
| ViableCallable.cs:180:13:180:17 | dynamic call to operator - | - | Single |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | Decimal |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | Double |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | Int32 |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | Int64 |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | Int128 |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | NFloat |
| ViableCallable.cs:182:13:182:18 | dynamic call to operator + | + | Single |
| ViableCallable.cs:185:17:185:25 | object creation of type C10 | C10 | C10 |