C++: Autoformat FlowVar.qll

jbj · jbj · commit 3c7d79481f3b · 2019-10-01T15:54:41.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/FlowVar.qll
@@ -514,9 +514,7 @@ module FlowVar_internal {
     }
 
     /** Holds if `sbb` is inside this loop. */
-    predicate sbbInLoop(SubBasicBlock sbb) {
-      this.bbInLoop(sbb.getBasicBlock())
-    }
+    predicate sbbInLoop(SubBasicBlock sbb) { this.bbInLoop(sbb.getBasicBlock()) }
 
     /**
      * Holds if `bb` is a basic block inside this loop where `v` has not been
@@ -568,9 +566,7 @@ module FlowVar_internal {
       start = TBlockVar(sbbDef, v) and
       result = mid.getASuccessor() and
       variableLiveInSBB(result, v) and
-      forall(AlwaysTrueUponEntryLoop loop | skipLoop(mid, result, v, loop) |
-        loop.sbbInLoop(sbbDef)
-      ) and
+      forall(AlwaysTrueUponEntryLoop loop | skipLoop(mid, result, v, loop) | loop.sbbInLoop(sbbDef)) and
       not assignmentLikeOperation(result, v, _, _)
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -514,9 +514,7 @@ module FlowVar_internal {`
`514`	`514`	`}`
`515`	`515`
`516`	`516`	/** Holds if `sbb` is inside this loop. */
`517`		`- predicate sbbInLoop(SubBasicBlock sbb) {`
`518`		`- this.bbInLoop(sbb.getBasicBlock())`
`519`		`- }`
	`517`	`+ predicate sbbInLoop(SubBasicBlock sbb) { this.bbInLoop(sbb.getBasicBlock()) }`
`520`	`518`
`521`	`519`	`/**`
`522`	`520`	* Holds if `bb` is a basic block inside this loop where `v` has not been
`@@ -568,9 +566,7 @@ module FlowVar_internal {`
`568`	`566`	`start = TBlockVar(sbbDef, v) and`
`569`	`567`	`result = mid.getASuccessor() and`
`570`	`568`	`variableLiveInSBB(result, v) and`
`571`		`- forall(AlwaysTrueUponEntryLoop loop \| skipLoop(mid, result, v, loop) \|`
`572`		`- loop.sbbInLoop(sbbDef)`
`573`		`- ) and`
	`569`	`+ forall(AlwaysTrueUponEntryLoop loop \| skipLoop(mid, result, v, loop) \| loop.sbbInLoop(sbbDef)) and`
`574`	`570`	`not assignmentLikeOperation(result, v, _, _)`
`575`	`571`	`)`
`576`	`572`	`}`