[CFLAA] Use better interprocedural function summaries.

Description

[CFLAA] Use better interprocedural function summaries.

Previously, we just unified any arguments that seemed to be related to
each other. With this patch, we now respect dereference levels, etc.
which should make us substantially more accurate. Proper handling of
StratifiedAttrs will be done in a later patch.

Patch by Jia Chen.

Differential Revision: http://reviews.llvm.org/D21536

Details

Committed
gbivJun 23 2016, 11:55 AM
Differential Revision
D21536: [CFLAA] Include externally-visible memory aliasing information in function summaries
Parents
rL273595: Refactor duplicated code. NFC.
Branches
Unknown
Tags
Unknown