[Bug sanitizer/55439] ThreadSanitizer: handle atomic operations

["jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55439

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-12-04 13:20:35 UTC ---
Author: jakub
Date: Tue Dec  4 13:20:20 2012
New Revision: 194133

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=194133
Log:
    PR sanitizer/55439
    * Makefile.in (tsan.o): Depend on tree-ssa-propagate.h.
    * sanitizer.def: Add __tsan_atomic* builtins.
    * asan.c (initialize_sanitizer_builtins): Adjust to also
    initialize __tsan_atomic* builtins.
    * tsan.c: Include tree-ssa-propagate.h.
    (enum tsan_atomic_action): New enum.
    (tsan_atomic_table): New table.
    (instrument_builtin_call): New function.
    (instrument_gimple): Take pointer to gimple_stmt_iterator
    instead of gimple_stmt_iterator.  Call instrument_builtin_call
    on builtin call stmts.
    (instrument_memory_accesses): Adjust instrument_gimple caller.
    * builtin-types.def (BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
    BT_FN_BOOL_VPTR_PTR_I2_INT_INT, BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
    BT_FN_BOOL_VPTR_PTR_I8_INT_INT, BT_FN_BOOL_VPTR_PTR_I16_INT_INT): New.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/asan.c
    trunk/gcc/builtin-types.def
    trunk/gcc/sanitizer.def
    trunk/gcc/tsan.c