hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 11:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #11820 from yoff/python/fix-downgrades

Browse Source 
Python: fix downgrade script
This commit is contained in:
Taus
2023-01-09 11:24:41 +01:00
committed by GitHub
parent 9be9636816 ad95225272
commit 06ea249997
2 changed files with 16 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
python/downgrades/503c0516fba2e5da9570f00eb34ef43025ecb8fb/py_exprs.ql
View File

@@ -23,10 +23,17 @@ class ExprParent_ extends @py_expr_parent {
* New kinds have been inserted such that
* `@py_Name` which used to have index 18 now has index 19.
* Entries with lower indices are unchanged.
*
* Note that if `18 <= new_index < 19`, it does not correspond
* to an old index.
*/
bindingset[new_index]
int old_index(int new_index) {
if new_index < 18 then result = new_index else result + (19 - 18) = new_index
// before inserted range
new_index < 18 and result = new_index
or
// after inserted range
new_index >= 19 and result + (19 - 18) = new_index
}
// The schema for py_exprs is:

9
python/downgrades/503c0516fba2e5da9570f00eb34ef43025ecb8fb/py_stmts.ql
View File

@@ -23,10 +23,17 @@ class StmtList_ extends @py_stmt_list {
* New kinds have been inserted such that
* `@py_Nonlocal` which used to have index 14 now has index 16.
* Entries with lower indices are unchanged.
*
* Note that if `14 <= new_index < 16`, it does not correspond
* to an old index.
*/
bindingset[new_index]
int old_index(int new_index) {
if new_index < 14 then result = new_index else result + (16 - 14) = new_index
// before inserted range
new_index < 14 and result = new_index
or
// after inserted range
new_index >= 16 and result + (16 - 14) = new_index
}
// The schema for py_stmts is: