llvm-project

b73ce3e5 - [SSAF][PointerFlow] Add PointerFlow summary and extractor (#188654)

[SSAF][PointerFlow] Add PointerFlow summary and extractor (#188654) Implement a PointerFlow summary and extractor, which uses EntityPointerLevel. An assignment is extracted as a pair of EntityPointerLevels, representing a directed edge. Edges extracted from assignments form a directed graph encoding abstract pointer flow information. rdar://172429193 --------- Co-authored-by: Balázs Benics <benicsbalazs@gmail.com> Co-authored-by: Jan Korous <jkorous@apple.com>