C++: remove pointless predicate

2026-04-27 09:45:15 +02:00 · 2019-05-01 10:20:36 +01:00
parent 8da2f0b8dc
commit 50c901d6d9
2 changed files with 1 additions and 6 deletions
--- a/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
+++ b/cpp/ql/src/semmle/code/cpp/exprs/Expr.qll
@@ -1017,11 +1017,6 @@ class FoldExpr extends Expr, @foldexpr {
    this.isBinaryFold() and
    if this.isRightFold() then result = getChild(1) else result = getChild(0)
  }
-
-  /**
-   * Holds if this is a binary fold with a child expression representing the initial value.
-   */
-  predicate hasInitExpr() { exists(this.getInitExpr()) }
 }

 /**