Java: Fix bug related to null inference for pattern initializer.

aschackmull · aschackmull · commit 9b493c1e1bfd · 2024-10-30T15:05:36.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
@@ -138,7 +138,7 @@ private module Input implements TypeFlowInput<Location> {
     exists(LocalVariableDeclExpr decl |
       n.asSsa().(BaseSsaUpdate).getDefiningExpr() = decl and
       not decl.hasImplicitInit() and
-      not exists(decl.getInit())
+      not exists(decl.getInitOrPatternSource())
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -138,7 +138,7 @@ private module Input implements TypeFlowInput<Location> {`
`138`	`138`	`exists(LocalVariableDeclExpr decl \|`
`139`	`139`	`n.asSsa().(BaseSsaUpdate).getDefiningExpr() = decl and`
`140`	`140`	`not decl.hasImplicitInit() and`
`141`		`- not exists(decl.getInit())`
	`141`	`+ not exists(decl.getInitOrPatternSource())`
`142`	`142`	`)`
`143`	`143`	`}`
`144`	`144`