C++: Respond to review comments.

2026-04-29 18:55:14 +02:00 · 2023-05-25 13:50:35 -07:00
parent a7252e625e
commit 384ca0c31f
1 changed files with 4 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -1642,6 +1642,10 @@ predicate localInstructionFlow(Instruction e1, Instruction e2) {

 /**
 * INTERNAL: Do not use.
+ *
+ * Ideally this module would be private, but the `asExprInternal` predicate is
+ * needed in `DefaultTaintTrackingImpl`. Once `DefaultTaintTrackingImpl` is gone
+ * we can make this module private again.
 */
 cached
 module ExprFlowCached {