C++: Handle field initialization via NSDMI in IR generation - #21391

Merged

jketema merged 19 commits into

github:mainfrom

jketema:jketema/nsdmi

Mar 30, 2026

Commits on Mar 24, 2026

C++: Add direct and default initialization subclasses for `ConstructorFieldInit`
jketema
committed
5aabd90
C++: Rename `CallOrAllocationExpr` to something more generic
jketema
committed
07603a8
C++: Add NSDMI tests
jketema
committed
59c27a2
C++: Add NSDMI dataflow test
jketema
committed
68039ec
C++: Generate initialization function for each NSDMI
jketema
committed
09f930f
C++: Update expected test results
jketema
committed
9e60e12
C++: Allow `getInstructionFunction` to yield a declaration
jketema
committed
b91a52a
C++: Call functions for NSDMI initialization
jketema
committed
e986d89
C++: Add call side effects for default field initializations to the IR
jketema
committed
22eda4e
C++: Update expected test results
jketema
committed
f3fc80a
C++: Fix QL-for-QL warnings
jketema
committed
b554d7d
C++: Accept dataflow test changes
jketema
committed
4a637cb
C++: Add change note
jketema
committed
0f44d6a
Update cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedCall.qll

jketema
and
Copilot
authored
49c5cc0
Update cpp/ql/lib/change-notes/2026-03-24-field-init.md

jketema
and
Copilot
authored
db7c619
C++: Fix typo
jketema
committed
dad517f

Commits on Mar 25, 2026

C++: Add struct and variable template tests
jketema
committed
346ab9d
C++: NSDMI fixes
jketema
committed
ef780c1
C++: Update expected test results
jketema
committed
ab1f0c1