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

C#: Add upgrade- and downgrade scripts for unsigned right shift operators.

Browse Source
This commit is contained in:
Michael Nebel
2023-01-11 15:09:00 +01:00
parent 529be7ef18
commit 5e89119b3d
7 changed files with 8290 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
csharp/downgrades/d0fba103f7dee477dd7d9f6c038518b3f683b2c7/expressions.ql Normal file
View File

@@ -0,0 +1,13 @@
class Expression extends @expr {
string toString() { none() }
}
class TypeOrRef extends @type_or_ref {
string toString() { none() }
}
from Expression e, int k, int kind, TypeOrRef t
where
expressions(e, k, t) and
if k = [133, 134] then kind = 106 else kind = k
select e, kind, t

2069
csharp/downgrades/d0fba103f7dee477dd7d9f6c038518b3f683b2c7/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2067
csharp/downgrades/d0fba103f7dee477dd7d9f6c038518b3f683b2c7/semmlecode.csharp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

3
csharp/downgrades/d0fba103f7dee477dd7d9f6c038518b3f683b2c7/upgrade.properties Normal file
View File

@@ -0,0 +1,3 @@
description: Remove unsigned right shift and unsigned right shift assignment expression kinds.
compatibility: backwards
expressions.rel: run expressions.qlo

2067
csharp/ql/lib/upgrades/83aca6b3e4fa38dd2b97b9b51dfc199a2ba9c7f2/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2069
csharp/ql/lib/upgrades/83aca6b3e4fa38dd2b97b9b51dfc199a2ba9c7f2/semmlecode.csharp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

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

@@ -0,0 +1,2 @@
description: Add unsigned right shift and unsigned right shift assignment expression kinds.
compatibility: backwards