On Thu, Dec 13, 2012 at 1:58 AM, Richard Henderson <r...@redhat.com> wrote:
> On 12/12/2012 11:50 AM, Jakub Jelinek wrote:
>> 2012-12-12  Jakub Jelinek  <ja...@redhat.com>
>>
>>       PR sanitizer/55508
>>       * builtin-attrs.def (ATTR_TMPURE_NOTHROW_LEAF_LIST,
>>       ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST): New.
>>       * asan.c (ATTR_TMPURE_NOTHROW_LEAF_LIST,
>>       ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST): Define.
>>       * sanitizer.def: Make __asan_report_* and __asan_handle_no_return
>>       builtins tm pure.
>
> Ok.
>
> Agreed about we need another solution for tsan + tm.


What type of bugs do you expect tsan catch in transactional setting?
Are we talking about data races between transactional and
non-transactional code?

Does atomic transactions permitted by gcc? I mean can I use mutexes
and atomics inside of transactions to synchronize with
non-transactional code?

Reply via email to