hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2024-04-09 09:27:44 +01:00
committed by GitHub
parent 4fa53b63ae
commit 17c8fa3e84
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
View File

@@ -821,7 +821,7 @@ newtype TTranslatedElement =
// The set of destructors to invoke after a `throw`. These need to be special // The set of destructors to invoke after a `throw`. These need to be special
// cased because the edge kind following a throw is an `ExceptionEdge`, and // cased because the edge kind following a throw is an `ExceptionEdge`, and
// we need to make sure that the edge kind is still an `ExceptionEdge` after // we need to make sure that the edge kind is still an `ExceptionEdge` after
// all the destructors has run. // all the destructors have run.
TTranslatedDestructorsAfterThrow(ThrowExpr throw) { TTranslatedDestructorsAfterThrow(ThrowExpr throw) {
exists(DestructorCall dc | exists(DestructorCall dc |
dc = throw.getAnImplicitDestructorCall() and dc = throw.getAnImplicitDestructorCall() and