commit 25b2e8203ae87b1f9c896bb9abf78dc53cb0b879
author Anton Korobeynikov <asl@math.spbu.ru> Sat Mar 22 08:36:14 2008 +0000
committer Anton Korobeynikov <asl@math.spbu.ru> Sat Mar 22 08:36:14 2008 +0000
tree 5aac45052b1a5cac32277f95e33c7a0671aab4c8
parent 72d5d42dbcf3c8a30dfc75f62934ca9905bd629c

Aliasing chains cleanups: update langref, add check into verifier

llvm-svn: 48685

llvm/lib/VMCore/Verifier.cpp

diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp
index 6126253..f6bc4b9 100644
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@@ -377,7 +377,12 @@
             "Aliasee should be either GlobalValue or bitcast of GlobalValue",
             &GA);
   }
-  
+
+  const GlobalValue* Aliasee = GA.resolveAliasedGlobal();
+  Assert1(Aliasee,
+          "Aliasing chain should end with global function or global variable",
+          &GA);
+
   visitGlobalValue(GA);
 }