We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4fa53b6 commit 17c8fa3Copy full SHA for 17c8fa3
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
@@ -821,7 +821,7 @@ newtype TTranslatedElement =
821
// The set of destructors to invoke after a `throw`. These need to be special
822
// cased because the edge kind following a throw is an `ExceptionEdge`, and
823
// we need to make sure that the edge kind is still an `ExceptionEdge` after
824
- // all the destructors has run.
+ // all the destructors have run.
825
TTranslatedDestructorsAfterThrow(ThrowExpr throw) {
826
exists(DestructorCall dc |
827
dc = throw.getAnImplicitDestructorCall() and
0 commit comments