Skip to content

Commit 08419b7

Browse files
committed
C++: Respond to PR reviews.
1 parent 913ff20 commit 08419b7

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -948,13 +948,13 @@ private predicate localStepsToSwitch(Node node) {
948948
* Holds if `node` is part of a path from a `ParameterNode` to an operand
949949
* of a `SwitchInstruction`.
950950
*/
951-
private predicate localStepsFromParameter(Node node) {
951+
private predicate localStepsFromParameterToSwitch(Node node) {
952952
localStepsToSwitch(node) and
953953
(
954954
node instanceof ParameterNode
955955
or
956956
exists(Node prev |
957-
localStepsFromParameter(prev) and
957+
localStepsFromParameterToSwitch(prev) and
958958
localFlowStepWithSummaries(prev, node)
959959
)
960960
)
@@ -966,8 +966,8 @@ private predicate localStepsFromParameter(Node node) {
966966
* operand of a `SwitchInstruction`.
967967
*/
968968
private predicate getAdditionalFlowIntoCallNodeTermStep(Node node1, Node node2) {
969-
localStepsFromParameter(node1) and
970-
localStepsFromParameter(node2) and
969+
localStepsFromParameterToSwitch(node1) and
970+
localStepsFromParameterToSwitch(node2) and
971971
localFlowStepWithSummaries(node1, node2)
972972
}
973973

0 commit comments

Comments
 (0)