Repository navigation

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

Merged

MathiasVP merged 27 commits into

github:mainfrom

MathiasVP:fix-forward-interpretation

Oct 9, 2026

Merged

C++: Improve logic for perfect forwarding#22654
MathiasVP merged 27 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
Commits on Oct 5, 2026
- C++: Fix test annotation
  
  MathiasVP
  and
  Copilot
  authored
  aed1a3d
Commits on Oct 8, 2026
- C++: Fix QLDoc.
  MathiasVP
  committed
  3113489

Commits

Commits on Sep 22, 2026

Commits on Oct 5, 2026

Commits on Oct 8, 2026