http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45940
Patrick Marlier <patrick.marlier at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |patrick.marlier at gmail
| |dot com
--- Comment #4 from Patrick Marlier <patrick.marlier at gmail dot com>
2010-11-23 15:11:49 UTC ---
(In reply to comment #3)
> push_back() is not annotated as transaction_pure.
True. It was just a annotation test and thus others functions are not
annotated. So it seems correct.
> Please verify that this is the case on your end, because my upcoming patch
> will
> only fix the error in the PR, not this additional error I see.
I think it is ok. Did you send the patch in gcc-patches?
Patrick Marlier.
