github
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll
+3-4Lines changed: 3 additions & 4 deletions b/‎cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/implementation/aliased_ssa/PrintIR.qll
+3-4Lines changed: 3 additions & 4 deletions
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll
+3-4Lines changed: 3 additions & 4 deletions b/‎cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/PrintIR.qll
+3-4Lines changed: 3 additions & 4 deletions
diff --git a/‎cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll
+3-4Lines changed: 3 additions & 4 deletions b/‎cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll
Copy file name to clipboardExpand all lines: cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/PrintIR.qll
+3-4Lines changed: 3 additions & 4 deletions
@@ -422,21 +422,20 @@ private int getSuccessorIndex(IRBlock pred, IRBlock succ) {
  * has the given `value`.
  */
 query predicate edges(PrintableIRBlock pred, PrintableIRBlock succ, string key, string value) {
-  exists(EdgeKind kind, IRBlock predBlock, IRBlock succBlock |
+  exists(IRBlock predBlock, IRBlock succBlock |
     predBlock = pred.getBlock() and
     succBlock = succ.getBlock() and
-    predBlock.getSuccessor(kind) = succBlock and
     (
       key = "semmle.label" and
       exists(string kinds |
         kinds =
-          concat(EdgeKind k |
+          strictconcat(EdgeKind k |
             predBlock.getSuccessor(k) = succBlock
           |
             k.toString(), "|" order by k.toString()
           )
       |
-        if predBlock.getBackEdgeSuccessor(kind) = succBlock
+        if predBlock.getBackEdgeSuccessor(_) = succBlock
         then value = kinds + " (back edge)"
         else value = kinds
       )
 
@@ -422,21 +422,20 @@ private int getSuccessorIndex(IRBlock pred, IRBlock succ) {
  * has the given `value`.
  */
 query predicate edges(PrintableIRBlock pred, PrintableIRBlock succ, string key, string value) {
-  exists(EdgeKind kind, IRBlock predBlock, IRBlock succBlock |
+  exists(IRBlock predBlock, IRBlock succBlock |
     predBlock = pred.getBlock() and
     succBlock = succ.getBlock() and
-    predBlock.getSuccessor(kind) = succBlock and
     (
       key = "semmle.label" and
       exists(string kinds |
         kinds =
-          concat(EdgeKind k |
+          strictconcat(EdgeKind k |
             predBlock.getSuccessor(k) = succBlock
           |
             k.toString(), "|" order by k.toString()
           )
       |
-        if predBlock.getBackEdgeSuccessor(kind) = succBlock
+        if predBlock.getBackEdgeSuccessor(_) = succBlock
         then value = kinds + " (back edge)"
         else value = kinds
       )
 
@@ -422,21 +422,20 @@ private int getSuccessorIndex(IRBlock pred, IRBlock succ) {
  * has the given `value`.
  */
 query predicate edges(PrintableIRBlock pred, PrintableIRBlock succ, string key, string value) {
-  exists(EdgeKind kind, IRBlock predBlock, IRBlock succBlock |
+  exists(IRBlock predBlock, IRBlock succBlock |
     predBlock = pred.getBlock() and
     succBlock = succ.getBlock() and
-    predBlock.getSuccessor(kind) = succBlock and
     (
       key = "semmle.label" and
       exists(string kinds |
         kinds =
-          concat(EdgeKind k |
+          strictconcat(EdgeKind k |
             predBlock.getSuccessor(k) = succBlock
           |
             k.toString(), "|" order by k.toString()
           )
       |
-        if predBlock.getBackEdgeSuccessor(kind) = succBlock
+        if predBlock.getBackEdgeSuccessor(_) = succBlock
         then value = kinds + " (back edge)"
         else value = kinds
       )
Original file line number	Diff line number	Diff line change
`@@ -422,21 +422,20 @@ private int getSuccessorIndex(IRBlock pred, IRBlock succ) {`
`422`	`422`	* has the given `value`.
`423`	`423`	`*/`
`424`	`424`	`query predicate edges(PrintableIRBlock pred, PrintableIRBlock succ, string key, string value) {`
`425`		`- exists(EdgeKind kind, IRBlock predBlock, IRBlock succBlock \|`
	`425`	`+ exists(IRBlock predBlock, IRBlock succBlock \|`
`426`	`426`	`predBlock = pred.getBlock() and`
`427`	`427`	`succBlock = succ.getBlock() and`
`428`		`- predBlock.getSuccessor(kind) = succBlock and`
`429`	`428`	`(`
`430`	`429`	`key = "semmle.label" and`
`431`	`430`	`exists(string kinds \|`
`432`	`431`	`kinds =`
`433`		`- concat(EdgeKind k \|`
	`432`	`+ strictconcat(EdgeKind k \|`
`434`	`433`	`predBlock.getSuccessor(k) = succBlock`
`435`	`434`	`\|`
`436`	`435`	`k.toString(), "\|" order by k.toString()`
`437`	`436`	`)`
`438`	`437`	`\|`
`439`		`- if predBlock.getBackEdgeSuccessor(kind) = succBlock`
	`438`	`+ if predBlock.getBackEdgeSuccessor(_) = succBlock`
`440`	`439`	`then value = kinds + " (back edge)"`
`441`	`440`	`else value = kinds`
`442`	`441`	`)`