Index: include/vector =================================================================== --- include/vector +++ include/vector @@ -1861,7 +1861,7 @@ } if (__n > 0) { - __RAII_IncreaseAnnotator __annotator(*this); + __RAII_IncreaseAnnotator __annotator(*this, __n); __move_range(__p, __old_last, __p + __old_n); __annotator.__done(); const_pointer __xr = pointer_traits::pointer_to(__x);