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 dbscheme upgrade and downgrade scripts

Browse Source
This commit is contained in:
Jeroen Ketema
2023-01-06 11:23:08 +01:00
parent 1bab950023
commit 2fc6484162
7 changed files with 8852 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
cpp/downgrades/a5bb28ed29f73855d64cc5f939cef977fa8fd19a/builtintypes.ql Normal file
View File

@@ -0,0 +1,11 @@
class BuiltinType extends @builtintype {
string toString() { none() }
}
from BuiltinType type, string name, int kind, int kind_new, int size, int sign, int alignment
where
builtintypes(type, name, kind, size, sign, alignment) and
if type instanceof @float16 or type instanceof @complex_float16
then kind_new = 2
else kind_new = kind
select type, name, kind_new, size, sign, alignment

2210
cpp/downgrades/a5bb28ed29f73855d64cc5f939cef977fa8fd19a/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2208
cpp/downgrades/a5bb28ed29f73855d64cc5f939cef977fa8fd19a/semmlecode.cpp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

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

@@ -0,0 +1,3 @@
description: Introduce (_Complex) _Float16 type
compatibility: backwards
builtintypes.rel: run builtintypes.qlo

2208
cpp/ql/lib/upgrades/ba86bebea4c7a8235c2fa0e220391fbd4446a087/old.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2210
cpp/ql/lib/upgrades/ba86bebea4c7a8235c2fa0e220391fbd4446a087/semmlecode.cpp.dbscheme Normal file
View File

File diff suppressed because it is too large Load Diff

2
cpp/ql/lib/upgrades/ba86bebea4c7a8235c2fa0e220391fbd4446a087/upgrade.properties Normal file
View File

@@ -0,0 +1,2 @@
description: Introduce (_Complex) _Float16 type
compatibility: full