[PATCH] D64991: [analyzer][WIP] Implement a primitive reaching definitions analysis
Kristóf Umann via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Fri Jul 19 06:32:01 PDT 2019
Szelethus created this revision.
Szelethus added reviewers: NoQ, xazax.hun, baloghadamsoftware, Charusso, rnkovacs, a_sidorin, dcoughlin.
Szelethus added a project: clang.
Herald added subscribers: cfe-commits, gamesh411, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet, whisperity, mgorny.
When I say WIP, I really mean it. This has no comments, no nothing, but follows this <https://en.wikipedia.org/wiki/Reaching_definition> algorithm pretty literally.
This analysis isn't conservative enough yet, I really should include function calls with non-const references into the gen set, but hey, at this point I'm optimistic that it can be done.
rG LLVM Github Monorepo
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 18060 bytes
Desc: not available
More information about the cfe-commits