hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 09:13:20 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2025-01-13 18:33:18 +00:00
parent 6b182c5ebd
commit d63b73406c
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll
View File

@@ -2494,6 +2494,12 @@ module InstructionBarrierGuard<instructionGuardChecksSig/3 instructionGuardCheck
result = TSsaPhiInputNode(phi, input) 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() }
} }
/** /**