diff options
author | Dale Johannesen <dalej@apple.com> | 2008-05-16 21:31:48 +0000 |
---|---|---|
committer | Dale Johannesen <dalej@apple.com> | 2008-05-16 21:31:48 +0000 |
commit | 6796629611a07bdc9d6bb79ca1cf6cae78325411 (patch) | |
tree | d47fa76e34adc979384812d37826c47f80172535 /lib/Transforms/IPO | |
parent | 0bf7b414ae0bb6699cadc3a210d18cfec44e9354 (diff) | |
download | llvm-6796629611a07bdc9d6bb79ca1cf6cae78325411.tar.gz llvm-6796629611a07bdc9d6bb79ca1cf6cae78325411.tar.bz2 llvm-6796629611a07bdc9d6bb79ca1cf6cae78325411.tar.xz |
Weak functions not declared non-throwing might be
replaced at linktime with a body that throws, even
if the body in this file does not. Make PruneEH
be more conservative in this case.
g++.dg/eh/weak1.C
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51207 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/IPO')
-rw-r--r-- | lib/Transforms/IPO/PruneEH.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Transforms/IPO/PruneEH.cpp b/lib/Transforms/IPO/PruneEH.cpp index ceb9e3e54e..d2f3a8437c 100644 --- a/lib/Transforms/IPO/PruneEH.cpp +++ b/lib/Transforms/IPO/PruneEH.cpp @@ -64,6 +64,8 @@ bool PruneEH::runOnSCC(const std::vector<CallGraphNode *> &SCC) { // Next, check to see if any callees might throw or if there are any external // functions in this SCC: if so, we cannot prune any functions in this SCC. + // Definitions that are weak and not declared non-throwing might be + // overridden at linktime with something that throws, so assume that. // If this SCC includes the unwind instruction, we KNOW it throws, so // obviously the SCC might throw. // @@ -71,7 +73,7 @@ bool PruneEH::runOnSCC(const std::vector<CallGraphNode *> &SCC) { for (unsigned i = 0, e = SCC.size(); (!SCCMightUnwind || !SCCMightReturn) && i != e; ++i) { Function *F = SCC[i]->getFunction(); - if (F == 0) { + if (F == 0 || (F->hasWeakLinkage() && !F->doesNotThrow())) { SCCMightUnwind = true; SCCMightReturn = true; } else if (F->isDeclaration()) { |