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 f6bc4b9db0d018dcf45cfa16e2543856405e5206..4bcfb1a9dbbae03fd873479bb775d6712f75b2f6 100644 (file)
--- 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 (file)
index 0000000..53b929b
--- /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