Deleting unused predicate.

2026-04-25 16:55:19 +02:00 · 2024-12-05 10:50:06 -05:00
parent befca9ba0e
commit 48c86979f0
1 changed files with 0 additions and 8 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/implementation/EdgeKind.qll
@@ -154,14 +154,6 @@ module EdgeKind {
   */
  SehExceptionEdge sehExceptionEdge() { result = TSehExceptionEdge() }

-  /**
-   * Gets an instance of the `ExceptionEdge` class.
-   */
-  ExceptionEdge exceptionEdge() {
-    result = cppExceptionEdge() or
-    result = sehExceptionEdge()
-  }
-
  /**
   * Gets the single instance of the `DefaultEdge` class.
   */