We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 96317b6 commit 3e94fd7Copy full SHA for 3e94fd7
c/misra/src/rules/RULE-13-2/UnsequencedSideEffects.ql
@@ -27,7 +27,6 @@ class ConstituentExprOrdering extends Ordering::Configuration {
27
28
override predicate isCandidate(Expr e1, Expr e2) {
29
// Two different expressions part of the same full expression.
30
- // Compute differerence using successor relation to break the symmetry of the candidate relation.
31
isCandidatePair(_, e1, e2)
32
}
33
0 commit comments