Skip to content

Commit 1c874d3

Browse files
committed
Fixed usage raisesException
1 parent 792231c commit 1c874d3

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -363,11 +363,11 @@ class TranslatedFunctionCall extends TranslatedCallExpr, TranslatedDirectCall {
363363
}
364364

365365
final override predicate mayThrowException() {
366-
expr.getTarget().(ThrowingFunction).mayRaiseException()
366+
expr.getTarget().(ThrowingFunction).raisesException(_)
367367
}
368368

369369
final override predicate mustThrowException() {
370-
expr.getTarget().(ThrowingFunction).alwaysRaisesException()
370+
expr.getTarget().(ThrowingFunction).raisesException(true)
371371
}
372372
}
373373

0 commit comments

Comments
 (0)