C++: Remove unnecessary 'exists'.

MathiasVP · MathiasVP · commit 69ed7c543ff8 · 2021-10-14T11:59:59.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/Type.qll b/cpp/ql/lib/semmle/code/cpp/Type.qll
@@ -1650,7 +1650,6 @@ class RoutineType extends Type, @routinetype {
     i = 0 and result = "" and not exists(this.getAParameterType())
     or
     (
-      exists(this.getParameterType(i)) and
       if i < max(int j | exists(this.getParameterType(j)))
       then
         // Not the last one

Original file line number	Diff line number	Diff line change
`@@ -1650,7 +1650,6 @@ class RoutineType extends Type, @routinetype {`
`1650`	`1650`	`i = 0 and result = "" and not exists(this.getAParameterType())`
`1651`	`1651`	`or`
`1652`	`1652`	`(`
`1653`		`- exists(this.getParameterType(i)) and`
`1654`	`1653`	`if i < max(int j \| exists(this.getParameterType(j)))`
`1655`	`1654`	`then`
`1656`	`1655`	`// Not the last one`