[llvm-dev] Interprocedural AA

via llvm-dev llvm-dev at lists.llvm.org
Tue Dec 18 05:06:32 PST 2018


I'm looking for interprocedural AAs and have, of course, found
https://llvm.org/docs/AliasAnalysis.html.  However, the AAs that come
bundled with LLVM do not work interprocedurally in a way that I need it
(on/with stack variables).  The two interesting looking AAs come with the
optional `poolalloc' module that hasn't been updated in years (I guess
http://lists.llvm.org/pipermail/llvm-dev/2015-February/082054.html never
happened).  My question:  is there currently some interprocedural AA that
LLVM suggests (and/or even uses internally) that can cope with something
like this (without the need to inline everything for analysis' sake):

void foo(int* x) {
  *x = 22; // <-- same value

int main(void) {
  int x; // <-- same value
  (void) foo(&x);
  return 0;

Thanks a lot for your thoughts :)


More information about the llvm-dev mailing list