github
diff --git a/‎cpp/ql/src/Critical/UseAfterFree.ql
Copy file name to clipboardExpand all lines: cpp/ql/src/Critical/UseAfterFree.ql
+1-1Lines changed: 1 addition & 1 deletion b/‎cpp/ql/src/Critical/UseAfterFree.ql
Copy file name to clipboardExpand all lines: cpp/ql/src/Critical/UseAfterFree.ql
+1-1Lines changed: 1 addition & 1 deletion
@@ -23,7 +23,7 @@ predicate useExpr(DataFlow::Node dfe, Expr e) {
     e = any(FunctionCall fc).getAChild() or
     e = any(PointerDereferenceExpr pde).getOperand() or
     e = any(PointerFieldAccess pfa).getQualifier() or
-    e = any(ArrayExpr ae).getAChild()
+    e = any(ArrayExpr ae).getArrayBase()
   ) and
   not Flow::freeExpr(dfe, e)
 }