Aliasing chains cleanups: update langref, add check into verifier

llvm-svn: 48685
This commit is contained in:
Anton Korobeynikov 2008-03-22 08:36:14 +00:00
parent 06f3b7f4ee
commit 197f07a72b
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);
}