Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit adeb69e

Browse files
author
Robert Marsh
committed
C++: autoformat
1 parent 8a125d1 commit adeb69e

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

cpp/ql/src/Likely Bugs/Likely Typos/inconsistentLoopDirection.ql

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,8 @@ predicate illDefinedIncrForStmt(
8282
candidateIncrForStmt(forstmt, v, greaterOperand, terminalCondition) and
8383
// `initialCondition` is a value of `v` in the for loop
8484
v.getAnAssignedValue() = initialCondition and
85-
DataFlow::localFlowStep+(DataFlow::exprNode(initialCondition), DataFlow::exprNode(greaterOperand)) and
85+
DataFlow::localFlowStep+(DataFlow::exprNode(initialCondition),
86+
DataFlow::exprNode(greaterOperand)) and
8687
// `terminalCondition` < `initialCondition`
8788
(
8889
upperBound(terminalCondition) < lowerBound(initialCondition)

0 commit comments

Comments
 (0)