C++: autoformat

rdmarsh2 · rdmarsh2 · commit 604affdeb06c · 2023-05-22T09:31:39.000-04:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/ConstantSizeArrayOffByOne.ql
@@ -92,9 +92,7 @@ module PointerArithmeticToDerefConfig implements DataFlow::ConfigSig {
     pointerArithOverflow(source.asInstruction(), _, _, _, _)
   }
 
-  predicate isSink(DataFlow::Node sink) {
-    isInvalidPointerDerefSink1(sink, _, _)
-  }
+  predicate isSink(DataFlow::Node sink) { isInvalidPointerDerefSink1(sink, _, _) }
 }
 
 module PointerArithmeticToDerefFlow = DataFlow::Global<PointerArithmeticToDerefConfig>;

Original file line number	Diff line number	Diff line change
`@@ -92,9 +92,7 @@ module PointerArithmeticToDerefConfig implements DataFlow::ConfigSig {`
`92`	`92`	`pointerArithOverflow(source.asInstruction(), _, _, _, _)`
`93`	`93`	`}`
`94`	`94`
`95`		`- predicate isSink(DataFlow::Node sink) {`
`96`		`- isInvalidPointerDerefSink1(sink, _, _)`
`97`		`- }`
	`95`	`+ predicate isSink(DataFlow::Node sink) { isInvalidPointerDerefSink1(sink, _, _) }`
`98`	`96`	`}`
`99`	`97`
`100`	`98`	`module PointerArithmeticToDerefFlow = DataFlow::Global<PointerArithmeticToDerefConfig>;`