C++: Implement MaD support for flow through perfect-forwarding functions - #22532

Merged

MathiasVP merged 21 commits into

github:mainfrom

MathiasVP:flow-through-forwards-using-callbacks-3

Sep 16, 2026

Commits on Sep 9, 2026

C++: Add tests with missing flow.
MathiasVP
committed
1b41bae
C++: Add a missing utility predicate on Call instructions.
MathiasVP
committed
0169e18
C++: Sync identical files.
MathiasVP
committed
3777020
C++: Small refactor.
MathiasVP
committed
77bb230
C++: We will need the template resolution for something other than the
MathiasVP
committed
04c2ac4
C++: Add MaD support for models that specify argument forwarding.
MathiasVP
committed
48de4cb
C++: Accept test changes.
MathiasVP
committed
4f2fc96
Apply batched suggestions from code review

MathiasVP
and
Copilot
authored
db2a462
C++: Respond to Copilot comments.
MathiasVP
committed
908e32b
C++: Autoformat after Copilot suggestions.
MathiasVP
committed
10981ae
C++: Fix spelling.
MathiasVP
committed
1511488
C++: Add false positive from lack of overload handling.
MathiasVP
committed
cca9f3f
C++: Fix FP by ensuring that the targeted constructor has at least as many parameters as the number of forwarded arguments.
MathiasVP
committed
246c486

Commits on Sep 16, 2026

C++: Add a testcase that uses a hardcoded constructed type.
MathiasVP
committed
dcda06a
C++: Expand QLDoc.
MathiasVP
committed
f381119
C++: Add a testcase that uses type parameters in the function name for forwarding.
MathiasVP
committed
8149caa
C++: Add a testcase with forwarding without a constructor.
MathiasVP
committed
d9331e9
C++: Handle forwarding without a constructor.
MathiasVP
committed
f52d18c
C++: Accept test changes.
MathiasVP
committed
f00b553
C++: Add a high-level description of the forwarding model.
MathiasVP
committed
dee5142
Merge branch 'main' into flow-through-forwards-using-callbacks-3
MathiasVP
committed
18affcd