<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div><span class=""><blockquote type="cite"><div><div bgcolor="#FFFFFF" text="#000000"><br></div></div></blockquote><br></span></div><div>I’m still a big fan of context sensitive, flow insensitive, unification based models.</div></div></blockquote><div><br></div><div>CFL can emulate this in the same time bound.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>  Contrary to your claim, context sensitivity *is* useful for mod-ref analysis, e.g. “can I hoist a load across this call”?  Context sensitivity improves the precision of the mod/ref set of the call.</div><span class="HOEnZb"><font color="#888888"><div><span style="color:rgb(34,34,34)"> </span><br></div></font></span></div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><span class="HOEnZb"><font color="#888888"><div></div><div>-Chris</div></font></span></div></blockquote><div><br></div><div>Yeah.</div><div>It depends entirely on your goal. In reality, often what you really want is something to say "hey, i've got this pointer over here, and i really want to hoist  it up here. Do something, tell me if that is possible".</div><div><br></div><div>(This is actually why i'm a fan of CFL-AA. You can essentially make it as expensive or not expensive as you want, and it still does really well in pracftice in time)</div></div><br></div></div>