On 02/21/2016 06:54 PM, Sanjoy Das wrote: > Can the `ValueExprMap.erase(PN)` be moved to under the "if (BEValueV > && StartValueV)"? That's the only place where we create a SCEVUnknown > ref for PN, right? Nice catch: r261486 Best, Tobias