
<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">The title says it all. <font class="Apple-style-span" face="Menlo">verifyFunction</font> checks it (Verifier.cpp, line 728).<div><br></div><div>Why can't BasicBlocks that serve as a function's entry point also have predecessors? What keeps a function from looping back to its beginning?<br><br>Félix</div></body></html>