C++: Add QLDoc.

2026-04-20 14:34:04 +02:00 · 2023-11-07 09:29:34 +00:00
parent 022c9eb3cd
commit 0fd4d4a114
1 changed files with 3 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/MustFlow.qll
@@ -31,6 +31,9 @@ abstract class MustFlowConfiguration extends string {
   */
  abstract predicate isSink(Operand sink);

+  /**
+   * Holds if data flow through `instr` is prohibited.
+   */
  predicate isBarrier(Instruction instr) { none() }

  /**