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

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2026-01-15 14:42:11 +00:00
committed by GitHub
parent d6ca1ca846
commit 1b117900c2

View File

@@ -432,7 +432,7 @@ class TranslatedExprStmt extends TranslatedStmt {
TranslatedExprStmt() {
// An assertion macro invocation typically expand to the
// expression `((void)0)` in release builds. In that case
// we synthedsize the check that would have occurred.
// we synthesize the check that would have occurred.
// This is handled by `TranslatedAssertion.qll` and so
// we exclude these statements here.
not assertion(_, stmt)