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

Merged

MathiasVP merged 17 commits into

github:mainfrom

MathiasVP:ir-support-for-assertions

Jan 21, 2026

Commits on Jan 12, 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
58a3260
C++: Delete unnecessary conjuncts after review comments.
MathiasVP
committed
b363154
C++: Add 'internal: do not use' comment.
MathiasVP
committed
d183dcd

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
048afc2

Commits on Jan 21, 2026