[GlobalsAA] Don't assume anything about functions that may be overridden
authorJames Molloy <james.molloy@arm.com>
Tue, 13 Oct 2015 10:43:33 +0000 (10:43 +0000)
committerJames Molloy <james.molloy@arm.com>
Tue, 13 Oct 2015 10:43:33 +0000 (10:43 +0000)
commit62c17949c93bcad21afc1c64f71888e61c41bcce
tree75450301436c0efd43f1895614c805fa8a30754d
parent1e87eeae1323f60ddcc29c783f01ac8e43c84de0
[GlobalsAA] Don't assume anything about functions that may be overridden

Weak linkage and friends allow a symbol to be overriden outside the
code generator's model, so GlobalsAA shouldn't assume that anything it
can compute about such a symbol is valid.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@250156 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/GlobalsModRef.cpp
test/Analysis/GlobalsModRef/weak-interposition.ll [new file with mode: 0644]