hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Respond to PR reviews.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-03-15 14:07:04 +00:00
parent 913ff201f1
commit 08419b77af
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -948,13 +948,13 @@ private predicate localStepsToSwitch(Node node) {
* Holds if `node` is part of a path from a `ParameterNode` to an operand
* of a `SwitchInstruction`.
*/
private predicate localStepsFromParameter(Node node) {
private predicate localStepsFromParameterToSwitch(Node node) {
localStepsToSwitch(node) and
(
node instanceof ParameterNode
or
exists(Node prev |
localStepsFromParameter(prev) and
localStepsFromParameterToSwitch(prev) and
localFlowStepWithSummaries(prev, node)
)
)
@@ -966,8 +966,8 @@ private predicate localStepsFromParameter(Node node) {
* operand of a `SwitchInstruction`.
*/
private predicate getAdditionalFlowIntoCallNodeTermStep(Node node1, Node node2) {
localStepsFromParameter(node1) and
localStepsFromParameter(node2) and
localStepsFromParameterToSwitch(node1) and
localStepsFromParameterToSwitch(node2) and
localFlowStepWithSummaries(node1, node2)
}