projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a247bd1) | patch
[GlobalsAA] Restrict ModRef result if any internal method has its address taken.
authorAlina Sbirlea <asbirlea@google.com>
Thu, 31 Oct 2019 19:35:46 +0000 (12:35 -0700)
committerAlina Sbirlea <asbirlea@google.com>
Tue, 12 Nov 2019 22:24:56 +0000 (14:24 -0800)
commitdb69f1b22951ce49bda8e492ec8e6f60d9721668
treeb482fd995ea8f251d95a372afa8680be84eea6ddtree | snapshot
parenta247bd1f274e49ea83b2ad39c6ff062753e9e779commit | diff
[GlobalsAA] Restrict ModRef result if any internal method has its address taken.

Summary:
If there are any internal methods whose address was taken, conclude there is nothing known in relation of any other internal method and a global.

Reviewers: nlopes, sanjoy.google

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D69690
llvm/include/llvm/Analysis/GlobalsModRef.h diff | blob | history
llvm/lib/Analysis/GlobalsModRef.cpp diff | blob | history
llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken1.ll [new file with mode: 0644] blob
llvm/test/Analysis/GlobalsModRef/intrinsic_addressnottaken2.ll [new file with mode: 0644] blob
llvm/test/Analysis/GlobalsModRef/intrinsic_addresstaken.ll [new file with mode: 0644] blob
Domain: System / Toolchain;