[llvm-dev] Interprocedural AA

[via llvm-dev]

Hi,

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 :)

Armin