C++: Add dataflow skeleton for barrier guards on indirect instruction/operand nodes.

MathiasVP · MathiasVP · commit d63b73406caa · 2025-01-13T18:33:18.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
@@ -2494,6 +2494,12 @@ module InstructionBarrierGuard<instructionGuardChecksSig/3 instructionGuardCheck
       result = TSsaPhiInputNode(phi, input)
     )
   }
+
+  /**
+   * Gets an indirect node with indirection index `indirectionIndex` that is
+   * safely guarded by the given guard check.
+   */
+  Node getAnIndirectBarrierNode(int indirectionIndex) { none() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -2494,6 +2494,12 @@ module InstructionBarrierGuard<instructionGuardChecksSig/3 instructionGuardCheck`
`2494`	`2494`	`result = TSsaPhiInputNode(phi, input)`
`2495`	`2495`	`)`
`2496`	`2496`	`}`
	`2497`	`+`
	`2498`	`+ /**`
	`2499`	+ * Gets an indirect node with indirection index `indirectionIndex` that is
	`2500`	`+ * safely guarded by the given guard check.`
	`2501`	`+ */`
	`2502`	`+ Node getAnIndirectBarrierNode(int indirectionIndex) { none() }`
`2497`	`2503`	`}`
`2498`	`2504`
`2499`	`2505`	`/**`