hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix pattern-case variable pretty-printer

Browse Source
This commit is contained in:
Chris Smowton
2024-03-22 15:42:51 +00:00
parent f66811048d
commit c0874ab04b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/semmle/code/java/Expr.qll
View File

@@ -1684,7 +1684,7 @@ class LocalVariableDeclExpr extends Expr, @localvariabledeclexpr {
exists(InstanceOfExpr ioe | this.getParent() = ioe | result.isNthChildOf(ioe, 1))
or
exists(PatternCase pc, int index, int typeAccessIdx | this.isNthChildOf(pc, index) |
(if index = 0 then typeAccessIdx = -4 else typeAccessIdx = (-3 - index)) and
(if index = 0 then typeAccessIdx = -2 else typeAccessIdx = (-3 - index)) and
result.isNthChildOf(pc, typeAccessIdx)
)
or