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

Merged

MathiasVP merged 12 commits into

github:mainfrom

MathiasVP:type-tracking-for-cpp-3

Aug 21, 2025

Commits on Aug 19, 2025

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

Commits on Aug 20, 2025

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