<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Tue, Nov 24, 2015 at 2:21 PM, Marshall Clow <span dir="ltr"><<a href="mailto:mclow.lists@gmail.com" target="_blank">mclow.lists@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">The C++ standard requires that the value_type of an allocator match the value_type of the container that uses that allocator. (table 98, first row).<div><br></div><div>libc++ has, for a long time, caused a compile-time failure if this is not true for many containers (list, string, unordered_[multi]map, unordered_[multi]set and vector), but not for all of them. Specifically, deque, forward_list, [multi]map and [multi]set are missing this check.</div><div><br></div><div>I will be adding these checks very soon (tomorrow). These will turn run-time undefined behavior into a compile time error.</div><div><br></div></div></blockquote><div>Committed as revision 254119.</div><div> </div></div>-- Marshall</div></div>