Adding Initializer in condition as an occurance of isDef

2025-12-22 11:46:32 +01:00 · 2022-07-07 10:32:36 -04:00
parent 74ff579dbc
commit 4379aa4398
1 changed files with 4 additions and 1 deletions
--- a/cpp/ql/lib/semmle/code/cpp/controlflow/Nullness.qll
+++ b/cpp/ql/lib/semmle/code/cpp/controlflow/Nullness.qll
@@ -169,7 +169,10 @@ class AnalysedExpr extends Expr {
   */
  predicate isDef(LocalScopeVariable v) {
    this.inCondition() and
-    this.(Assignment).getLValue() = v.getAnAccess()
+    (
+      this.(Assignment).getLValue() = v.getAnAccess() or
+      exists(Initializer i | this.getEnclosingStmt() = i.getEnclosingStmt() and v = i.getDeclaration())
+    ) 
  }

  /**