Do you have a test that demonstrates that? That would be very helpful.

On Mon, May 12, 2014 at 3:12 PM, Stephan Tolksdorf <s...@quanttec.com> wrote:

> On Thu, May 8, 2014 at 6:14 PM, Marshall Clow <mclow.li...@gmail.com
>> <mailto:mclow.li...@gmail.com>> wrote:
>>
> (...)
>
>      @@ -1535,6 +1582,7 @@ vector<_Tp, _Allocator>::push_back(const
>>       {
>>           if (this->__end_ != this->__end_cap())
>>           {
>>     +        __annotate_increase(1);
>>               __alloc_traits::construct(this->__alloc(),
>>
>>       _VSTD::__to_raw_pointer(this->__end_), __x);
>>               ++this->__end_;
>>
> (...)
>
> Some of these annotations aren't exception safe. Is that intentional?
>
> - Stephan
>
_______________________________________________
cfe-commits mailing list
cfe-commits@cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to