From ef30c1d006822398cd5fe9086b9b2098af4d6e3f Mon Sep 17 00:00:00 2001 From: Anton Korobeynikov Date: Sat, 22 Mar 2008 08:37:05 +0000 Subject: [PATCH] Add testcase for prev. commit. Minor fixes git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48686 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/VMCore/Verifier.cpp | 4 ++-- test/Verifier/aliasing-chain.ll | 6 ++++++ 2 files changed, 8 insertions(+), 2 deletions(-) create mode 100644 test/Verifier/aliasing-chain.ll 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