hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-19 10:23:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Merge pull request #15537 from MathiasVP/swap-also-clears-first-argument"

Browse Source 
This reverts commit 23677b23c2, reversing
changes made to c5dc88345d.
This commit is contained in:
Mathias Vorreiter Pedersen
2024-02-09 09:06:02 +00:00
parent 048b3727f5
commit cb7fe16ced
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/models/implementations/Swap.qll
View File

@@ -20,7 +20,7 @@ private class Swap extends DataFlowFunction, FlowOutBarrierFunction {
output.isParameterDeref(0)
}
override predicate isFlowOutBarrier(FunctionInput input) { input.isParameterDeref([0, 1]) }
override predicate isFlowOutBarrier(FunctionInput input) { input.isParameterDeref(1) }
}
/**