C++: Autoformat.

geoffw0 · geoffw0 · commit f534f09784ea · 2020-05-29T14:05:08.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll
@@ -111,9 +111,7 @@ class StrLenFunction extends AliasFunction, ArrayFunction, SideEffectFunction {
     getParameter(i).getUnspecifiedType() instanceof PointerType
   }
 
-  override predicate parameterEscapesOnlyViaReturn(int i) {
-    none()
-  }
+  override predicate parameterEscapesOnlyViaReturn(int i) { none() }
 
   override predicate parameterIsAlwaysReturned(int i) { none() }
 

Original file line number	Diff line number	Diff line change
`@@ -111,9 +111,7 @@ class StrLenFunction extends AliasFunction, ArrayFunction, SideEffectFunction {`
`111`	`111`	`getParameter(i).getUnspecifiedType() instanceof PointerType`
`112`	`112`	`}`
`113`	`113`
`114`		`- override predicate parameterEscapesOnlyViaReturn(int i) {`
`115`		`- none()`
`116`		`- }`
	`114`	`+ override predicate parameterEscapesOnlyViaReturn(int i) { none() }`
`117`	`115`
`118`	`116`	`override predicate parameterIsAlwaysReturned(int i) { none() }`
`119`	`117`