Skip to content

Commit e949c16

Browse files
committed
C++: Add back getSubBasicBlockStart
It turns out this predicate was used in a test, and that use can't be replaced with the new `partiallyDefinesVariableAt` predicate since `partiallyDefinesVariableAt` doesn't hold for a `PartialDefinition` that defines something other than a variable.
1 parent f3e98c3 commit e949c16

File tree

1 file changed

+5
-0
lines changed
  • cpp/ql/src/semmle/code/cpp/dataflow/internal

1 file changed

+5
-0
lines changed

cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -124,6 +124,11 @@ private module PartialDefinitions {
124124

125125
deprecated predicate partiallyDefinesThis(ThisExpr e) { innerDefinedExpr = e }
126126

127+
/**
128+
* Gets the subBasicBlock where this `PartialDefinition` is defined.
129+
*/
130+
ControlFlowNode getSubBasicBlockStart() { result = node }
131+
127132
/**
128133
* Holds if this `PartialDefinition` defines variable `v` at control-flow
129134
* node `cfn`.

0 commit comments

Comments
 (0)