github
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll
+1-1Lines changed: 1 addition & 1 deletion b/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplSpecific.qll
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
+1-1Lines changed: 1 addition & 1 deletion b/‎cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎shared/dataflow/codeql/dataflow/DataFlow.qll
Copy file name to clipboardExpand all lines: shared/dataflow/codeql/dataflow/DataFlow.qll
+1-1Lines changed: 1 addition & 1 deletion b/‎shared/dataflow/codeql/dataflow/DataFlow.qll
Copy file name to clipboardExpand all lines: shared/dataflow/codeql/dataflow/DataFlow.qll
+1-1Lines changed: 1 addition & 1 deletion
diff --git a/‎shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
Copy file name to clipboardExpand all lines: shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
+2-2Lines changed: 2 additions & 2 deletions b/‎shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
Copy file name to clipboardExpand all lines: shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
+2-2Lines changed: 2 additions & 2 deletions
@@ -21,5 +21,5 @@ module CppDataFlow implements InputSig {
 
   predicate getAdditionalFlowIntoCallNodeTerm = Private::getAdditionalFlowIntoCallNodeTerm/2;
 
-  predicate flowThroughStepAllowed = Private::flowThroughStepAllowed/2;
+  predicate validParameterAliasStep = Private::validParameterAliasStep/2;
 }
@@ -1162,7 +1162,7 @@ private int countNumberOfBranchesUsingParameter(SwitchInstruction switch, Parame
  */
 bindingset[node1, node2]
 pragma[inline_late]
-predicate flowThroughStepAllowed(Node node1, Node node2) {
+predicate validParameterAliasStep(Node node1, Node node2) {
   // When flow-through summaries are computed we track which parameters flow to out-going parameters.
   // In an example such as:
   // ```
 
@@ -175,7 +175,7 @@ signature module InputSig {
    * computing flow-through summaries.
    */
   bindingset[node1, node2]
-  default predicate flowThroughStepAllowed(Node node1, Node node2) { any() }
+  default predicate validParameterAliasStep(Node node1, Node node2) { any() }
 
   /**
    * Holds if data can flow from `node1` to `node2` through a non-local step
 
@@ -552,7 +552,7 @@ module MakeImplCommon<InputSig Lang> {
           exists(Node mid |
             parameterValueFlowCand(p, mid, read) and
             simpleLocalFlowStep(mid, node) and
-            flowThroughStepAllowed(mid, node)
+            validParameterAliasStep(mid, node)
           )
           or
           // read
@@ -672,7 +672,7 @@ module MakeImplCommon<InputSig Lang> {
           exists(Node mid |
             parameterValueFlow(p, mid, read) and
             simpleLocalFlowStep(mid, node) and
-            flowThroughStepAllowed(mid, node)
+            validParameterAliasStep(mid, node)
           )
           or
           // read
Original file line number	Diff line number	Diff line change
`@@ -21,5 +21,5 @@ module CppDataFlow implements InputSig {`
`21`	`21`
`22`	`22`	`predicate getAdditionalFlowIntoCallNodeTerm = Private::getAdditionalFlowIntoCallNodeTerm/2;`
`23`	`23`
`24`		`- predicate flowThroughStepAllowed = Private::flowThroughStepAllowed/2;`
	`24`	`+ predicate validParameterAliasStep = Private::validParameterAliasStep/2;`
`25`	`25`	`}`