C++: Use the shared type-tracking library for virtual dispatch resolution#20249

Merged

MathiasVP merged 12 commits intogithub:mainfrom

MathiasVP:type-tracking-for-cpp-3

Aug 21, 2025

Commits on Aug 19, 2025

C++: Add more virtual dispatch tests.
MathiasVP
committed
C++: Remove the old virtual dispatch case from 'defaultViableCallable' and slightly reorganize the code in preparation for the next commit.
MathiasVP
committed
C++: Move these predicates to make the diff smaller.
MathiasVP
committed
C++: Prefix with 'DataflowPrivate'.
MathiasVP
committed
C++: Instantiate the type tracking module inside a reusable module like it's done in Java.
MathiasVP
committed
C++: Perform 6 rounds of virtual dispatch resolution like Java.
MathiasVP
committed
C++: Update 'mayBenefitFromCallContext' to not use the old virtual dispatch local flow predicate.
MathiasVP
committed
C++: Accept test changes.
MathiasVP
committed
C++: Fix off-by-one error in getType on 'FinalGlobalValue' nodes and accept test changes.
MathiasVP
committed
C++: Add object/flow conflation for unions when resolving function pointers.
MathiasVP
committed
C++: Add change note.
MathiasVP
committed

Commits on Aug 20, 2025

C++: Rename 'lambda' to 'virtual'.
MathiasVP
committed