Infer extension-deltas for FuncDefn's
Opened this issue · 0 comments
acl-cqc commented
This could be done with the same interface to that for DFGs/CFGs/etc. (using TO_BE_INFERRED: ExtensionId
as per #1195), but the algorithm needs to be significantly more complicated:
- Build a (directed) call graph of functions
- Identify cycles; all functions on a cycle must have the same ExtensionSet (so "merge metas")
- Solve the unknowns (using existing "look at children" algorithm) in topsort order