<div dir="ltr"><div class="gmail_default" style="font-family:'courier new',monospace">Hi </div><div class="gmail_default" style="font-family:'courier new',monospace"><br></div><div class="gmail_default" style="font-family:'courier new',monospace">
The LLVM online document says that "<span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px">There must be exactly one default implementation available at all times for an Analysis Group to be used. Only default implementation can derive from </span><tt class="" style="font-family:Consolas,'Deja Vu Sans Mono','Bitstream Vera Sans Mono',monospace;font-size:0.95em;color:rgb(0,0,0);line-height:21px"><span class="">ImmutablePass</span></tt><span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px">. "</span></div>
<div class="gmail_default" style="font-family:'courier new',monospace"><span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px"><br>
</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><a href="http://llvm.org/docs/WritingAnLLVMPass.html#implementing-analysis-groups">http://llvm.org/docs/WritingAnLLVMPass.html#implementing-analysis-groups</a><span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px"><br>
</span></div><div class="gmail_default" style="font-family:'courier new',monospace"><span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px"><br>
</span></div><div class="gmail_default"><span style="font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;color:rgb(0,0,0);font-size:14px;line-height:21px">Is it still true that only the default implementation can derive from ImmutablePass, it does not seem to be the case for </span><font color="#000000" face="Lucida Grande, Lucida Sans Unicode, Geneva, Verdana, sans-serif"><span style="font-size:14px;line-height:21px">TypeBasedAliasAnalysis, which derives from ImmutablePass and is not the default for the AliasAnalysis analysis group in LLVM ?</span></font></div>
<div class="gmail_default"><span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px"><br></span></div><div class="gmail_default">
<span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px">Thank you,</span></div><div class="gmail_default"><span style="color:rgb(0,0,0);font-family:'Lucida Grande','Lucida Sans Unicode',Geneva,Verdana,sans-serif;font-size:14px;line-height:21px">Trent </span><br>
</div></div>