[llvm-commits] [llvm] r85621 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Chris Lattner]

Author: lattner
Date: Fri Oct 30 17:15:48 2009
New Revision: 85621

URL: http://llvm.org/viewvc/llvm-project?rev=85621&view=rev
Log:
it isn't valid to take the address of the entry block.

Modified:
    llvm/trunk/lib/VMCore/Verifier.cpp

Modified: llvm/trunk/lib/VMCore/Verifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=85621&r1=85620&r2=85621&view=diff

==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Fri Oct 30 17:15:48 2009
@@ -658,6 +658,8 @@
     BasicBlock *Entry = &F.getEntryBlock();
     Assert1(pred_begin(Entry) == pred_end(Entry),
             "Entry block to function must not have predecessors!", Entry);
+    Assert1(!Entry->hasAddressTaken(),
+            "blockaddress may not be used with the entry block!", Entry);
   }
   
   // If this function is actually an intrinsic, verify that it is only used in