C++: Replace rank[1] with min

MathiasVP · MathiasVP · commit 63f1d3ded788 · 2020-02-06T15:43:57.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll b/cpp/ql/src/semmle/code/cpp/ir/internal/ASTValueNumbering.qll
@@ -57,7 +57,7 @@ class GVN extends TValueNumber {
 
   final Location getLocation() {
     result =
-      rank[1](Location l |
+      min(Location l |
         l = getAnExpr().getLocation()
       |
         l

Original file line number	Diff line number	Diff line change
`@@ -57,7 +57,7 @@ class GVN extends TValueNumber {`
`57`	`57`
`58`	`58`	`final Location getLocation() {`
`59`	`59`	`result =`
`60`		`- rank[1](Location l \|`
	`60`	`+ min(Location l \|`
`61`	`61`	`l = getAnExpr().getLocation()`
`62`	`62`	`\|`
`63`	`63`	`l`