C++: Improve logic for perfect forwarding - #22654

Draft

MathiasVP wants to merge 25 commits into

github:mainfrom

MathiasVP:fix-forward-interpretation

Commits on Sep 22, 2026

C++: Add forwarding tests.
MathiasVP
committed
3337804
C++: Move forwarding logic to ExternalFlow.qll
MathiasVP
committed
2c5dcfd
C++: Change 'forall' to 'forex'. There is no need for forwarding if there are no arguments to forward.
MathiasVP
committed
d8d6a2f
C++: Replace naive reference stripping with a step-relation with conversions. For now we don't implement any converions other than array-to-pointer, but we will add conversions in a later commit.
MathiasVP
committed
573ca0e
C++: Accept test changes.
MathiasVP
committed
f929a94
C++: Track value categories.
MathiasVP
committed
d528d31
C++: Accept test changes.
MathiasVP
committed
785e41c
C++: Handle reference sinks.
MathiasVP
committed
fafd35d
C++: Accept test changes.
MathiasVP
committed
0b5711f
C++: Handle converting constructrors and operators.
MathiasVP
committed
b884ee1
C++: Accept test changes.
MathiasVP
committed
6f052b1
C++: Track conversion phases.
MathiasVP
committed
1814eb4
C++: Handle routine-to-function-pointer conversions.
MathiasVP
committed
a6287a8
C++: Accept test changes.
MathiasVP
committed
b44e817
C++: Handle base-class conversions.
MathiasVP
committed
a8f6d77
C++: Accept test changes.
MathiasVP
committed
fb59a05
C++: Handle conversions in the base-type of a pointer.
MathiasVP
committed
ec9d660
C++: Accept test changes.
MathiasVP
committed
2949b65
C++: Handle arithmetic conversions.
MathiasVP
committed
55addf3
C++: Accept test changes.
MathiasVP
committed
6ca5971
C++: Handle pointer conversions.
MathiasVP
committed
a82e970
C++: Accept test changes.
MathiasVP
committed
15447bf
C++: Handle null and boolean conversions.
MathiasVP
committed
70ee2b8
C++: Accept test changes.
MathiasVP
committed
e42def7
C++: Add QLDoc.
MathiasVP
committed
0f32801

Navigation Menu

C++: Improve logic for perfect forwarding - #22654

C++: Improve logic for perfect forwarding#22654
MathiasVP wants to merge 25 commits into
github:mainfrom
MathiasVP:fix-forward-interpretation

Commits on Sep 22, 2026

C++: Add forwarding tests.

C++: Move forwarding logic to ExternalFlow.qll

C++: Change 'forall' to 'forex'. There is no need for forwarding if there are no arguments to forward.

C++: Replace naive reference stripping with a step-relation with conversions. For now we don't implement any converions other than array-to-pointer, but we will add conversions in a later commit.

C++: Accept test changes.

C++: Track value categories.

C++: Accept test changes.

C++: Handle reference sinks.

C++: Accept test changes.

C++: Handle converting constructrors and operators.

C++: Accept test changes.

C++: Track conversion phases.

C++: Handle routine-to-function-pointer conversions.

C++: Accept test changes.

C++: Handle base-class conversions.

C++: Accept test changes.

C++: Handle conversions in the base-type of a pointer.

C++: Accept test changes.

C++: Handle arithmetic conversions.

C++: Accept test changes.

C++: Handle pointer conversions.

C++: Accept test changes.

C++: Handle null and boolean conversions.

C++: Accept test changes.

C++: Add QLDoc.