message: Avoid calling destroy in the destructor of a vector if the vector is empty.
  Bug
diff: @@ -556,6 +556,7 @@ template<typename T, typename Alloc>
  ::~vector_base(void)
  {
  // destroy every living thing
  + if (!empty())
  m_storage.destroy(begin(),end());
  } // end vector_base::~vector_base()
  