ilovepi wrote: I think we could probably do w/ a few more test cases.
1. Some direct calls (e.g. foo->bar, bar->fizz, bar->buzz) 2. the indirect callee is ambiguous (you could do this with control flow, or via parameter w/o much difference). 3. the type of the callee matches another function, but the callee is known (simplest case would be two void functions). There may be other cases we also want to check, but these three seem like a good start. I imagine they could be useful as you flesh out more features too. https://github.com/llvm/llvm-project/pull/87574 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits