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

Fix downgrade script

Browse Source
This commit is contained in:
Chris Smowton
2023-11-03 16:24:09 +00:00
parent 04c9f60d96
commit 1d82756dc8
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/downgrades/dee651b58d1e5455ca2d07eca37775a21d772fcc/exprs.ql
View File

@@ -35,7 +35,7 @@ predicate hasNewParent(Expr e, ExprParent newParent, int newIndex) {
}
from Expr e, int oldKind, int newKind, Type typeid, ExprParent parent, int index
where exprs(e, kind, typeid, _, _) and
where exprs(e, oldKind, typeid, _, _) and
hasNewParent(e, parent, index) and
(if oldKind = 89 /* record pattern */ then newKind = 74 /* error expression */ else oldKind = newKind)
select e, newKind, typeid, parent, index