hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 11:16:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: autoformat

Browse Source
This commit is contained in:
Robert Marsh
2022-10-26 10:49:06 -04:00
parent 8a125d1ae5
commit adeb69e396
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/src/Likely Bugs/Likely Typos/inconsistentLoopDirection.ql
View File

@@ -82,7 +82,8 @@ predicate illDefinedIncrForStmt(
candidateIncrForStmt(forstmt, v, greaterOperand, terminalCondition) and candidateIncrForStmt(forstmt, v, greaterOperand, terminalCondition) and
// `initialCondition` is a value of `v` in the for loop // `initialCondition` is a value of `v` in the for loop
v.getAnAssignedValue() = initialCondition and v.getAnAssignedValue() = initialCondition and
DataFlow::localFlowStep+(DataFlow::exprNode(initialCondition), DataFlow::exprNode(greaterOperand)) and DataFlow::localFlowStep+(DataFlow::exprNode(initialCondition),
DataFlow::exprNode(greaterOperand)) and
// `terminalCondition` < `initialCondition` // `terminalCondition` < `initialCondition`
( (
upperBound(terminalCondition) < lowerBound(initialCondition) upperBound(terminalCondition) < lowerBound(initialCondition)