<div dir="rtl"><div dir="ltr">+llvmdev +Oliver. MapVector::erase was added in r211273.</div><div dir="ltr"><br></div><div dir="ltr">To avoid duplications, MapVector stores Values inside the vector only, while the map caches key->indices to the vector.<br>


</div><div class="gmail_extra"><div dir="ltr"><div class="gmail_quote"><br>When a value is erased from the MapVector, it is removed from the vector, invalidating the cached vector indices stored in the map, so the map points to wrong locations and the MapVector is corrupted.<br>


<font color="#888888">--<br></font><span style="color:rgb(136,136,136)">Yaron</span><br><blockquote class="gmail_quote" style="margin:0 .8ex;border-left:1px #ccc solid;border-right:1px #ccc solid;padding-left:1ex;padding-right:1ex">


<div dir="rtl"><span><font color="#888888">
<div dir="ltr"><br></div></font></span></div>
</blockquote></div></div></div></div>