C++: Fix comment (edge is not unique)

jbj · jbj · commit 5b2b961a4469 · 2019-01-25T11:28:23.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll b/cpp/ql/src/semmle/code/cpp/ir/implementation/raw/internal/IRConstruction.qll
@@ -125,7 +125,7 @@ cached private module Cached {
       )
     )
     or
-    // The back edge should be the (unique) edge from the condition to the
+    // The back edge should be the edge(s) from the condition to the
     // body. This ensures that it's the back edge that will be pruned in a `do
     // { ... } while (0)` statement. Note that all `continue` statements in a
     // do-while loop produce forward edges.

Original file line number	Diff line number	Diff line change
`@@ -125,7 +125,7 @@ cached private module Cached {`
`125`	`125`	`)`
`126`	`126`	`)`
`127`	`127`	`or`
`128`		`- // The back edge should be the (unique) edge from the condition to the`
	`128`	`+ // The back edge should be the edge(s) from the condition to the`
`129`	`129`	// body. This ensures that it's the back edge that will be pruned in a `do
`130`	`130`	// { ... } while (0)` statement. Note that all `continue` statements in a
`131`	`131`	`// do-while loop produce forward edges.`