C++: Generate IR for assertions in release builds#21142

Merged

MathiasVP merged 17 commits intogithub:mainfrom

MathiasVP:ir-support-for-assertions

Jan 21, 2026

Commits on Jan 15, 2026

Commits on Jan 19, 2026

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

MathiasVP
and
jketema
authored
C++: Delete unnecessary conjuncts after review comments.
MathiasVP
committed
C++: Add 'internal: do not use' comment.
MathiasVP
committed

Commits on Jan 20, 2026

C++: Add assertion inside catch block. This does not yet work because the 'LocalScopeVariable' does not have a result for 'getFunction'.
MathiasVP
committed