[Bug libstdc++/56861] std::vector::reserve optimization bug

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56861



--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2013-04-07 
13:34:20 UTC ---

(Andrew, I don't think this is a libstdc++ bug, maybe tree-optimization)