Skip to content

Commit af7df79

Browse files
committed
Autoformat
1 parent a4a004a commit af7df79

File tree

3 files changed

+3
-9
lines changed

3 files changed

+3
-9
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -813,9 +813,7 @@ module Private {
813813
* be useful to include in the exposed local data-flow/taint-tracking relations.
814814
*/
815815
predicate summaryThroughStepTaint(ArgNode arg, Node out) {
816-
exists(ReturnNodeExt ret |
817-
summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)
818-
)
816+
exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false))
819817
}
820818

821819
/**

java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -813,9 +813,7 @@ module Private {
813813
* be useful to include in the exposed local data-flow/taint-tracking relations.
814814
*/
815815
predicate summaryThroughStepTaint(ArgNode arg, Node out) {
816-
exists(ReturnNodeExt ret |
817-
summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)
818-
)
816+
exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false))
819817
}
820818

821819
/**

ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -813,9 +813,7 @@ module Private {
813813
* be useful to include in the exposed local data-flow/taint-tracking relations.
814814
*/
815815
predicate summaryThroughStepTaint(ArgNode arg, Node out) {
816-
exists(ReturnNodeExt ret |
817-
summaryLocalStep(summaryArgParam(arg, ret, out), ret, false)
818-
)
816+
exists(ReturnNodeExt ret | summaryLocalStep(summaryArgParam(arg, ret, out), ret, false))
819817
}
820818

821819
/**

0 commit comments

Comments
 (0)