[LLVMdev] For a pointer to pointer ?How to fast get the pointee pointer?

Daniel Berlin dberlin at dberlin.org
Fri Jul 17 08:05:49 PDT 2015


This is a statically undecidable problem, so yes, you must consider
AA, and there can be nothing that provides an exact answer in all
cases.

There is nothing in LLVM that will help you, but folks have developed
datastructures that can give fast answers to points-to and pointed-by
queries:
http://helloqirun.github.io/papers/pldi2014_xiao.pdf



More information about the llvm-dev mailing list