C++: Autoformat.

geoffw0 · geoffw0 · commit 47528dd8c025 · 2022-01-27T12:56:16.000Z
diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/Gets.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Gets.qll
@@ -62,7 +62,6 @@ private class FgetsFunction extends DataFlowFunction, TaintFunction, ArrayFuncti
   override predicate hasSocketInput(FunctionInput input) { input.isParameterDeref(2) }
 }
 
-
 /**
  * The standard functions `gets`.
  */
@@ -104,9 +103,7 @@ private class GetsFunction extends DataFlowFunction, TaintFunction, ArrayFunctio
     description = "String read by " + this.getName()
   }
 
-  override predicate hasArrayWithUnknownSize(int bufParam) {
-    bufParam = 0
-  }
+  override predicate hasArrayWithUnknownSize(int bufParam) { bufParam = 0 }
 
   override predicate hasArrayOutput(int bufParam) { bufParam = 0 }
 }

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,6 @@ private class FgetsFunction extends DataFlowFunction, TaintFunction, ArrayFuncti`
`62`	`62`	`override predicate hasSocketInput(FunctionInput input) { input.isParameterDeref(2) }`
`63`	`63`	`}`
`64`	`64`
`65`		`-`
`66`	`65`	`/**`
`67`	`66`	* The standard functions `gets`.
`68`	`67`	`*/`
`@@ -104,9 +103,7 @@ private class GetsFunction extends DataFlowFunction, TaintFunction, ArrayFunctio`
`104`	`103`	`description = "String read by " + this.getName()`
`105`	`104`	`}`
`106`	`105`
`107`		`- override predicate hasArrayWithUnknownSize(int bufParam) {`
`108`		`- bufParam = 0`
`109`		`- }`
	`106`	`+ override predicate hasArrayWithUnknownSize(int bufParam) { bufParam = 0 }`
`110`	`107`
`111`	`108`	`override predicate hasArrayOutput(int bufParam) { bufParam = 0 }`
`112`	`109`	`}`