summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Globals.cpp
diff options
context:
space:
mode:
authorRafael Espindola <rafael.espindola@gmail.com>2014-03-26 04:48:47 +0000
committerRafael Espindola <rafael.espindola@gmail.com>2014-03-26 04:48:47 +0000
commit3b712a84a9bdcde4b6e8f8f8c9cace2fb3141f24 (patch)
treea4e87b48f5721320b1868077f42b0600921efdf7 /llvm/lib/IR/Globals.cpp
parent62dd7df612d7eb4b118d3a6ed166c9e781ae6f82 (diff)
downloadbcm5719-llvm-3b712a84a9bdcde4b6e8f8f8c9cace2fb3141f24.tar.gz
bcm5719-llvm-3b712a84a9bdcde4b6e8f8f8c9cace2fb3141f24.zip
Prevent alias from pointing to weak aliases.
Aliases are just another name for a position in a file. As such, the regular symbol resolutions are not applied. For example, given define void @my_func() { ret void } @my_alias = alias weak void ()* @my_func @my_alias2 = alias void ()* @my_alias We produce without this patch: .weak my_alias my_alias = my_func .globl my_alias2 my_alias2 = my_alias That is, in the resulting ELF file my_alias, my_func and my_alias are just 3 names pointing to offset 0 of .text. That is *not* the semantics of IR linking. For example, linking in a @my_alias = alias void ()* @other_func would require the strong my_alias to override the weak one and my_alias2 would end up pointing to other_func. There is no way to represent that with aliases being just another name, so the best solution seems to be to just disallow it, converting a miscompile into an error. llvm-svn: 204781
Diffstat (limited to 'llvm/lib/IR/Globals.cpp')
-rw-r--r--llvm/lib/IR/Globals.cpp35
1 files changed, 14 insertions, 21 deletions
diff --git a/llvm/lib/IR/Globals.cpp b/llvm/lib/IR/Globals.cpp
index 11152d5d6c2..f338dd76aaa 100644
--- a/llvm/lib/IR/Globals.cpp
+++ b/llvm/lib/IR/Globals.cpp
@@ -236,10 +236,10 @@ void GlobalAlias::setAliasee(Constant *Aliasee) {
setOperand(0, Aliasee);
}
-GlobalValue *GlobalAlias::getAliasedGlobal() {
- Constant *C = getAliasee();
- if (C == 0) return 0;
-
+static GlobalValue *getAliaseeGV(GlobalAlias *GA) {
+ Constant *C = GA->getAliasee();
+ assert(C && "Must alias something");
+
if (GlobalValue *GV = dyn_cast<GlobalValue>(C))
return GV;
@@ -248,30 +248,23 @@ GlobalValue *GlobalAlias::getAliasedGlobal() {
CE->getOpcode() == Instruction::AddrSpaceCast ||
CE->getOpcode() == Instruction::GetElementPtr) &&
"Unsupported aliasee");
-
+
return cast<GlobalValue>(CE->getOperand(0));
}
-GlobalValue *GlobalAlias::resolveAliasedGlobal(bool stopOnWeak) {
+GlobalValue *GlobalAlias::getAliasedGlobal() {
SmallPtrSet<GlobalValue*, 3> Visited;
- // Check if we need to stop early.
- if (stopOnWeak && mayBeOverridden())
- return this;
-
- GlobalValue *GV = getAliasedGlobal();
- Visited.insert(GV);
-
- // Iterate over aliasing chain, stopping on weak alias if necessary.
- while (GlobalAlias *GA = dyn_cast<GlobalAlias>(GV)) {
- if (stopOnWeak && GA->mayBeOverridden())
- break;
-
- GV = GA->getAliasedGlobal();
+ GlobalAlias *GA = this;
+ for (;;) {
+ GlobalValue *GV = getAliaseeGV(GA);
if (!Visited.insert(GV))
return 0;
- }
- return GV;
+ // Iterate over aliasing chain.
+ GA = dyn_cast<GlobalAlias>(GV);
+ if (!GA)
+ return GV;
+ }
}
OpenPOWER on IntegriCloud