Skip to content

Commit c0e2020

Browse files
Format range analysis qll
1 parent c473ea0 commit c0e2020

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

cpp/common/src/codingstandards/cpp/RestrictedRangeAnalysis.qll

+2-3
Original file line numberDiff line numberDiff line change
@@ -932,9 +932,8 @@ module RestrictedRangeAnalysis {
932932
}
933933

934934
predicate canBoundExpr(Expr e) {
935-
exists(RangeSsaDefinition def, StackVariable v | e = def.getAUse(v) |
936-
analyzableDef(def, v)
937-
) or
935+
exists(RangeSsaDefinition def, StackVariable v | e = def.getAUse(v) | analyzableDef(def, v))
936+
or
938937
analyzableExpr(e)
939938
or
940939
exists(getGuardedUpperBound(e))

0 commit comments

Comments
 (0)