<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"><br>
In SCEVExpander::expand, there is a logic to check the cached value to<br>
be used should dominate the insertion point. However, for the above<br>
case, the check always passes. That is because the insertion point is<br>
in a new function, which is unreachable from the old function. However<br>
for unreachable node, DominatorTreeBase::dominates thinks it will be<br>
dominated by any other node.<br></blockquote><div><br></div><div>Sigh. Just about 6 months ago, we went through a discussion on this mailing list where i pointed out this behavior by dominates was bad, and the general consensus was "hey, how often is it really going to cause a problem" vs "simplify life".</div><div><br></div><div>Chalk one up to the former column.</div><div><br></div></div></div></div>