diff options
| author | Chris Lattner <sabre@nondot.org> | 2009-10-30 22:15:48 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2009-10-30 22:15:48 +0000 |
| commit | 287db0c23c9188c563cc2ff449733f233535496e (patch) | |
| tree | d32cd36a9a7659225cfc106bb8f148c14b3111ea /lib/VMCore | |
| parent | 7cb7e12c08c8d723a64a51833028470077e85316 (diff) | |
| download | external_llvm-287db0c23c9188c563cc2ff449733f233535496e.zip external_llvm-287db0c23c9188c563cc2ff449733f233535496e.tar.gz external_llvm-287db0c23c9188c563cc2ff449733f233535496e.tar.bz2 | |
it isn't valid to take the address of the entry block.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85621 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore')
| -rw-r--r-- | lib/VMCore/Verifier.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp index 06eccc0..fc90148 100644 --- a/lib/VMCore/Verifier.cpp +++ b/lib/VMCore/Verifier.cpp @@ -658,6 +658,8 @@ void Verifier::visitFunction(Function &F) { 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 |