Fix pattern-case variable pretty-printer

smowton · smowton · commit c0874ab04b5d · 2024-03-25T16:31:37.000Z
diff --git a/java/ql/lib/semmle/code/java/Expr.qll b/java/ql/lib/semmle/code/java/Expr.qll
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -1684,7 +1684,7 @@ class LocalVariableDeclExpr extends Expr, @localvariabledeclexpr {`
`1684`	`1684`	`exists(InstanceOfExpr ioe \| this.getParent() = ioe \| result.isNthChildOf(ioe, 1))`
`1685`	`1685`	`or`
`1686`	`1686`	`exists(PatternCase pc, int index, int typeAccessIdx \| this.isNthChildOf(pc, index) \|`
`1687`		`- (if index = 0 then typeAccessIdx = -4 else typeAccessIdx = (-3 - index)) and`
	`1687`	`+ (if index = 0 then typeAccessIdx = -2 else typeAccessIdx = (-3 - index)) and`
`1688`	`1688`	`result.isNthChildOf(pc, typeAccessIdx)`
`1689`	`1689`	`)`
`1690`	`1690`	`or`