search for: r273219

...hecked.load` intrinsic was added. It loads a function pointer from a virtual table pointer using type metadata. [r273576](http://reviews.llvm.org/rL273576). * As part of the work on CFL-AA, interprocedural function summaries were added. These avoid recomputation for many properties of a function. [r273219](http://reviews.llvm.org/rL273219), [r273596](http://reviews.llvm.org/rL273596). * MemorySSA gained new APIs for PHI creation and MemoryAccess creation. [r273295](http://reviews.llvm.org/rL273295). * Metadata attachments are now allowed for declarations. [r273336](http://reviews.llvm.org/rL273336...

...nippet: int a, b, *p = &a, *q = &b; int c= (int)p + (int)q; It used to report may-alias for p and q, just because both of them are casted to integers. This was later relaxed in a way that pointers are only treated conservatively when you cast it back from integers. - [r272335, r272690, r273219, r273229] Improvement on inter-procedural analysis. This is the one single feature of CFL-AA that enables it to really offer something that BasicAA doesn't. The work is still ongoing, but the central idea here is that we can make CFL-AA look past function calls and yield almost the same res...