hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Include the void type in value types

Browse Source
This commit is contained in:
Tamas Vajk
2023-10-11 10:26:24 +02:00
parent 304d7a4395
commit 267fd23b26
8 changed files with 8314 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2077
csharp/downgrades/1f291d4f424b498e7500c0359ca1fe030628a448/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2077
csharp/downgrades/1f291d4f424b498e7500c0359ca1fe030628a448/semmlecode.csharp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2
csharp/downgrades/1f291d4f424b498e7500c0359ca1fe030628a448/upgrade.properties Normal file
View File

@@ -0,0 +1,2 @@
description: Exclude @void_type from @value_type
compatibility: full

2
csharp/ql/lib/semmle/code/csharp/Type.qll
View File

@@ -397,7 +397,7 @@ class NonNestedType extends ValueOrRefType {
/**
* The `void` type.
*/
class VoidType extends DotNet::ValueOrRefType, Type, @void_type {
class VoidType extends ValueOrRefType, @void_type {
override predicate hasQualifiedName(string qualifier, string name) {
qualifier = "System" and
name = "Void"

2
csharp/ql/lib/semmlecode.csharp.dbscheme
View File

@@ -456,7 +456,7 @@ case @type.kind of
@unsigned_integral_type = @byte_type | @ushort_type | @uint_type | @ulong_type;
@floating_point_type = @float_type | @double_type;
@value_type = @simple_type | @enum_type | @struct_type | @nullable_type | @int_ptr_type
| @uint_ptr_type | @tuple_type;
| @uint_ptr_type | @tuple_type | @void_type;
@ref_type = @class_type | @interface_type | @array_type | @delegate_type | @null_type
| @dynamic_type;
@value_or_ref_type = @value_type | @ref_type;

2077
csharp/ql/lib/upgrades/cc2eccd6026e5405594b75eb9d2d3f4646747ccd/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2077
csharp/ql/lib/upgrades/cc2eccd6026e5405594b75eb9d2d3f4646747ccd/semmlecode.csharp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2
csharp/ql/lib/upgrades/cc2eccd6026e5405594b75eb9d2d3f4646747ccd/upgrade.properties Normal file
View File

@@ -0,0 +1,2 @@
description: Include @void_type in @value_type
compatibility: full