C++: Fix ql-for-ql warning

github · Dec 10, 2024 · fc7334a · fc7334a
1 parent 8c49470
commit fc7334a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll b/cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll
@@ -364,7 +364,7 @@ class TranslatedFunctionCall extends TranslatedCallExpr, TranslatedDirectCall {
   final override predicate mayThrowException(ExceptionEdge e) {
     this.mustThrowException(e)
     or
-    exists(MicrosoftTryStmt t | t = expr.getEnclosingStmt().getParentStmt*()) and
+    expr.getEnclosingStmt().getParentStmt*() instanceof MicrosoftTryStmt and
     e instanceof SehExceptionEdge
   }