Aliasing chains cleanups: update langref, add check into verifier

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@48685 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Anton Korobeynikov 2008-03-22 08:36:14 +00:00
parent 591858a403
commit 726d45c548
2 changed files with 8 additions and 3 deletions

View File

@ -763,8 +763,8 @@ a power of 2.</p>
</div>
<div class="doc_text">
<p>Aliases act as "second name" for the aliasee value (which can be either
function or global variable or bitcast of global value). Aliases may have an
optional <a href="#linkage">linkage type</a>, and an
function, global variable, another alias or bitcast of global value). Aliases
may have an optional <a href="#linkage">linkage type</a>, and an
optional <a href="#visibility">visibility style</a>.</p>
<h5>Syntax:</h5>

View File

@ -377,7 +377,12 @@ void Verifier::visitGlobalAlias(GlobalAlias &GA) {
"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);
}