C++: Autoformat.

geoffw0 · geoffw0 · commit 36db493723f3 · 2024-04-10T15:02:19.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
@@ -52,7 +52,8 @@ module Input implements InputSig<Location, DataFlowImplSpecific::CppDataFlow> {
    * Supports ranges (`Argument[x..y]`), qualifiers (`Argument[-1]`), indirections
    * (`Argument[*x]`) and combinations (such as `Argument[**0..1]`).
    */
-  private bindingset[argString] TPosition decodePosition(string argString) {
+  bindingset[argString]
+  private TPosition decodePosition(string argString) {
     exists(int indirection, string posString, int pos |
       argString = repeatStars(indirection) + posString and
       pos = AccessPath::parseInt(posString) and
@@ -118,7 +119,9 @@ module SourceSinkInterpretationInput implements
    * Holds if an external source specification exists for `e` with output specification
    * `output`, kind `kind`, and provenance `provenance`.
    */
-  predicate sourceElement(SourceOrSinkElement e, string output, string kind, Public::Provenance provenance) {
+  predicate sourceElement(
+    SourceOrSinkElement e, string output, string kind, Public::Provenance provenance
+  ) {
     exists(
       string namespace, string type, boolean subtypes, string name, string signature, string ext
     |
@@ -131,7 +134,9 @@ module SourceSinkInterpretationInput implements
    * Holds if an external sink specification exists for `e` with input specification
    * `input`, kind `kind` and provenance `provenance`.
    */
-  predicate sinkElement(SourceOrSinkElement e, string input, string kind, Public::Provenance provenance) {
+  predicate sinkElement(
+    SourceOrSinkElement e, string input, string kind, Public::Provenance provenance
+  ) {
     exists(
       string package, string type, boolean subtypes, string name, string signature, string ext
     |
diff --git a/cpp/ql/src/Security/CWE/CWE-497/ExposedSystemData.ql b/cpp/ql/src/Security/CWE/CWE-497/ExposedSystemData.ql
@@ -28,9 +28,7 @@ module ExposedSystemDataConfig implements DataFlow::ConfigSig {
     or
     // workaround for cases where the sink contains the tainted thing as a child; this could
     // probably be handled better with taint inheriting content or similar modeling.
-    exists(RemoteFlowSink sinkNode |
-      sinkNode.asIndirectExpr().getAChild*() = sink.asIndirectExpr()
-    )
+    exists(RemoteFlowSink sinkNode | sinkNode.asIndirectExpr().getAChild*() = sink.asIndirectExpr())
   }
 
   predicate isBarrier(DataFlow::Node node) {
diff --git a/cpp/ql/test/library-tests/dataflow/models-as-data/SummaryCall.ql b/cpp/ql/test/library-tests/dataflow/models-as-data/SummaryCall.ql
@@ -2,15 +2,11 @@ import testModels
 private import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate
 private import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil
 
-query predicate summaryCalls(SummaryCall c) {
-    any()
-}
+query predicate summaryCalls(SummaryCall c) { any() }
 
-query predicate summarizedCallables(DataFlowCallable c) {
-    c = TSummarizedCallable(_)
-}
+query predicate summarizedCallables(DataFlowCallable c) { c = TSummarizedCallable(_) }
 
 query predicate sourceCallables(DataFlowCallable c) {
-    c = TSourceCallable(_) and
-    c.getLocation().getFile().toString() != ""
+  c = TSourceCallable(_) and
+  c.getLocation().getFile().toString() != ""
 }
