From fc7334af75c04c3416d8817afc0a658b6f89727f Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Tue, 10 Dec 2024 20:29:25 +0100 Subject: [PATCH] C++: Fix ql-for-ql warning --- .../code/cpp/ir/implementation/raw/internal/TranslatedCall.qll | 2 +- 1 file changed, 1 insertion(+), 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 index 35a8badb68fca..a1d76bb649172 100644 --- 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 }