From: Anton Korobeynikov <asl@math.spbu.ru>
Date: Sat, 22 Mar 2008 08:37:05 +0000 (+0000)
Subject: Add testcase for prev. commit. Minor fixes
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ef30c1d006822398cd5fe9086b9b2098af4d6e3f;p=oota-llvm.git

Add testcase for prev. commit. Minor fixes


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48686 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index f6bc4b9db0d..4bcfb1a9dbb 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -378,10 +378,10 @@ void Verifier::visitGlobalAlias(GlobalAlias &GA) {
             &GA);
   }
 
+  const GlobalValue* Aliasee = GA.resolveAliasedGlobal();
   const GlobalValue* Aliasee = GA.resolveAliasedGlobal();
   Assert1(Aliasee,
-          "Aliasing chain should end with global function or global variable",
-          &GA);
+          "Aliasing chain should end with function or global variable", &GA);
 
   visitGlobalValue(GA);
 }
diff --git a/test/Verifier/aliasing-chain.ll b/test/Verifier/aliasing-chain.ll
new file mode 100644
index 00000000000..53b929bd782
--- /dev/null
+++ b/test/Verifier/aliasing-chain.ll
@@ -0,0 +1,6 @@
+; RUN:  not llvm-as -f %s -o /dev/null |& grep {Aliasing chain should end with function or global variable}
+
+; Test that alising chain does not create a cycle
+
+@b1 = alias i32* @c1
+@c1 = alias i32* @b1