Skip to content

Commit e7ed056

Browse files
committed
Sync files
1 parent 8c9431d commit e7ed056

File tree

2 files changed

+14
-6
lines changed

2 files changed

+14
-6
lines changed

ruby/ql/lib/codeql/ruby/controlflow/internal/ControlFlowGraphImplShared.qll

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -907,9 +907,13 @@ module TestOutput {
907907

908908
query predicate edges(RelevantNode pred, RelevantNode succ, string attr, string val) {
909909
attr = "semmle.label" and
910-
exists(SuccessorType t | succ = getASuccessor(pred, t) |
911-
if successorTypeIsSimple(t) then val = "" else val = t.toString()
912-
)
910+
val =
911+
strictconcat(SuccessorType t, string s |
912+
succ = getASuccessor(pred, t) and
913+
if successorTypeIsSimple(t) then s = "" else s = t.toString()
914+
|
915+
s, ", " order by s
916+
)
913917
or
914918
attr = "semmle.order" and
915919
val =

swift/ql/lib/codeql/swift/controlflow/internal/ControlFlowGraphImplShared.qll

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -907,9 +907,13 @@ module TestOutput {
907907

908908
query predicate edges(RelevantNode pred, RelevantNode succ, string attr, string val) {
909909
attr = "semmle.label" and
910-
exists(SuccessorType t | succ = getASuccessor(pred, t) |
911-
if successorTypeIsSimple(t) then val = "" else val = t.toString()
912-
)
910+
val =
911+
strictconcat(SuccessorType t, string s |
912+
succ = getASuccessor(pred, t) and
913+
if successorTypeIsSimple(t) then s = "" else s = t.toString()
914+
|
915+
s, ", " order by s
916+
)
913917
or
914918
attr = "semmle.order" and
915919
val =

0 commit comments

Comments
 (0)