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

Browse Source
This commit is contained in:
Jeroen Ketema
2025-01-13 16:04:04 +01:00
parent 8e39eb9020
commit cd5e77348b
8 changed files with 9681 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2415
cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2409
cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/semmlecode.cpp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

3
cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/upgrade.properties Normal file
View File

@@ -0,0 +1,3 @@
description: Improve user types and proxy classes
compatibility: full
usertypes.rel: run usertypes.qlo

10
cpp/downgrades/a01d8f91b8d49259e509b574962dec90719f69a6/usertypes.ql Normal file
View File

@@ -0,0 +1,10 @@
class UserType extends @usertype {
string toString() { none() }
}
bindingset[kind]
int getKind(int kind) { if kind in [15, 16, 17] then result = 6 else result = kind }
from UserType usertype, string name, int kind
where usertypes(usertype, name, kind)
select usertype, name, getKind(kind)

2409
cpp/ql/lib/upgrades/dd32242a870867a532bb0b2a88a6a917a5b4c26f/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2415
cpp/ql/lib/upgrades/dd32242a870867a532bb0b2a88a6a917a5b4c26f/semmlecode.cpp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

3
cpp/ql/lib/upgrades/dd32242a870867a532bb0b2a88a6a917a5b4c26f/upgrade.properties Normal file
View File

@@ -0,0 +1,3 @@
description: Improve user types and proxy classes
compatibility: partial
usertypes.rel: run usertypes.qlo

17
cpp/ql/lib/upgrades/dd32242a870867a532bb0b2a88a6a917a5b4c26f/usertypes.ql Normal file
View File

@@ -0,0 +1,17 @@
class UserType extends @usertype {
string toString() { none() }
}
bindingset[kind]
int getKind(int kind) {
if kind in [10, 11, 12]
then result = 0
else
if kind = 6
then result = 16
else result = kind
}
from UserType usertype, string name, int kind
where usertypes(usertype, name, kind)
select usertype, name, getKind(kind)