Skip to content

Commit 267fd23

Browse files
committed
C#: Include the void type in value types
1 parent 304d7a4 commit 267fd23

File tree

8 files changed

+8314
-2
lines changed

8 files changed

+8314
-2
lines changed

csharp/downgrades/1f291d4f424b498e7500c0359ca1fe030628a448/old.dbscheme

Lines changed: 2077 additions & 0 deletions
Large diffs are not rendered by default.

csharp/downgrades/1f291d4f424b498e7500c0359ca1fe030628a448/semmlecode.csharp.dbscheme

Lines changed: 2077 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
description: Exclude @void_type from @value_type
2+
compatibility: full

csharp/ql/lib/semmle/code/csharp/Type.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -397,7 +397,7 @@ class NonNestedType extends ValueOrRefType {
397397
/**
398398
* The `void` type.
399399
*/
400-
class VoidType extends DotNet::ValueOrRefType, Type, @void_type {
400+
class VoidType extends ValueOrRefType, @void_type {
401401
override predicate hasQualifiedName(string qualifier, string name) {
402402
qualifier = "System" and
403403
name = "Void"

csharp/ql/lib/semmlecode.csharp.dbscheme

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -456,7 +456,7 @@ case @type.kind of
456456
@unsigned_integral_type = @byte_type | @ushort_type | @uint_type | @ulong_type;
457457
@floating_point_type = @float_type | @double_type;
458458
@value_type = @simple_type | @enum_type | @struct_type | @nullable_type | @int_ptr_type
459-
| @uint_ptr_type | @tuple_type;
459+
| @uint_ptr_type | @tuple_type | @void_type;
460460
@ref_type = @class_type | @interface_type | @array_type | @delegate_type | @null_type
461461
| @dynamic_type;
462462
@value_or_ref_type = @value_type | @ref_type;

0 commit comments

Comments
 (0)