Merge pull request #17932 from aschackmull/java/kotlin-notnull-typeflow

Kotlin: Support NotNullExpr in TypeFlow.
github · Nov 8, 2024 · a311294 · a311294
2 parents 71e4646 + 5602570
commit a311294
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
@@ -127,6 +127,8 @@ private module Input implements TypeFlowInput<Location> {
     n2.asSsa().(BaseSsaUpdate).getDefiningExpr().(VariableAssign).getSource() = n1.asExpr()
     or
     n2.asSsa().(BaseSsaImplicitInit).captures(n1.asSsa())
+    or
+    n2.asExpr().(NotNullExpr).getExpr() = n1.asExpr()
   }
 
   /**