diff options
| author | Chris Lattner <sabre@nondot.org> | 2003-09-20 23:58:33 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2003-09-20 23:58:33 +0000 |
| commit | 11fc9301fbe7597aa5be1940b014fbbd85732a56 (patch) | |
| tree | 787d2bbcc231684ab761d8d9d350397a9d04a35e /lib/Analysis/DataStructure/BottomUpClosure.cpp | |
| parent | ec157b7cde458d99440a1b07e5ac904a503da7b6 (diff) | |
Functions reachable from the arguments of unresolvable call nodes should
not have their arguments marked complete
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@8639 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/DataStructure/BottomUpClosure.cpp')
| -rw-r--r-- | lib/Analysis/DataStructure/BottomUpClosure.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Analysis/DataStructure/BottomUpClosure.cpp b/lib/Analysis/DataStructure/BottomUpClosure.cpp index 5019d90845..95de8e45e9 100644 --- a/lib/Analysis/DataStructure/BottomUpClosure.cpp +++ b/lib/Analysis/DataStructure/BottomUpClosure.cpp @@ -51,7 +51,10 @@ bool BUDataStructures::run(Module &M) { // At the end of the bottom-up pass, the globals graph becomes complete. // FIXME: This is not the right way to do this, but it is sorta better than - // nothing! + // nothing! In particular, externally visible globals and unresolvable call + // nodes at the end of the BU phase should make things that they point to + // incomplete in the globals graph. + // GlobalsGraph->maskIncompleteMarkers(); return false; } |