Data Structures
struct	tsan_map_atomic

Enumerations
enum	tsan_atomic_action { check_last, add_seq_cst, add_acquire, weak_cas, strong_cas, bool_cas, val_cas, lock_release, fetch_op, fetch_op_seq_cst }

Functions
static tree	get_memory_access_decl ()
static tree	is_vptr_store ()
static bool	instrument_expr ()
static void	instrument_builtin_call ()
static bool	instrument_gimple ()
static bool	instrument_memory_accesses ()
static void	instrument_func_entry ()
static void	instrument_func_exit ()
static unsigned	tsan_pass ()
static bool	tsan_gate ()
void	tsan_finish_file ()
gimple_opt_pass *	make_pass_tsan ()
static bool	tsan_gate_O0 ()
gimple_opt_pass *	make_pass_tsan_O0 ()

Variables
static struct tsan_map_atomic	tsan_atomic_table []

Enumeration Type Documentation

enum tsan_atomic_action

   Actions for sync/atomic builtin transformations.

Enumerator:

check_last
add_seq_cst
add_acquire
weak_cas
strong_cas
bool_cas
val_cas
lock_release
fetch_op
fetch_op_seq_cst

Function Documentation

static tree get_memory_access_decl ( )

static

@verbatim

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version.

GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see http://www.gnu.org/licenses/.

   Number of instrumented memory accesses in the current function.

   Builds the following decl
   void __tsan_read/writeX (void *addr);

static void instrument_builtin_call ( )

static

   Instrument an atomic builtin.

                   BIT_NOT_EXPR stands for NAND.

               FALLTHRU

References add_acquire, add_seq_cst, bool_cas, build_int_cst(), builtin_decl_implicit(), check_last, create_tmp_var(), fetch_op, fetch_op_seq_cst, gimple_assign_lhs(), gimple_build_assign_with_ops(), gimple_call_arg(), gimple_call_lhs(), gimple_call_set_fndecl(), gimple_call_set_lhs(), gsi_insert_after(), gsi_insert_before(), GSI_NEW_STMT, GSI_SAME_STMT, gsi_stmt(), host_integerp(), HOST_WIDE_INT, integer_nonzerop(), lock_release, make_ssa_name(), mark_addressable(), MEMMODEL_ACQUIRE, MEMMODEL_RELEASE, MEMMODEL_SEQ_CST, strong_cas, tree_low_cst(), tsan_atomic_table, update_gimple_call(), update_stmt(), useless_type_conversion_p(), val_cas, and weak_cas.

static bool instrument_expr ( )

static

   Instruments EXPR if needed. If any instrumentation is inserted,
   return true.

     For now just avoid instrumenting bit field acceses.
     TODO: handle bit-fields as if touching the whole field.

     No need to instrument accesses to decls that don't escape,
     they can't escape to other threads then.

     Instrumentation for assignment of a function result
     must be inserted after the call.  Instrumentation for
     reads of function arguments must be inserted before the call.
     That's because the call can contain synchronization.

         If the call can throw, it must be the last stmt in
         a basic block, so the instrumented stmts need to be
         inserted in successor bbs.

Referenced by instrument_gimple().

static void instrument_func_entry ( )

static

   Instruments function entry.

static void instrument_func_exit ( )

static

   Instruments function exits.

     Find all function exits.

static bool instrument_gimple ( )

static

   Instruments the gimple pointed to by GSI. Return
   true if func entry/exit should be instrumented.

References gimple_assign_lhs(), gimple_assign_load_p(), gimple_assign_rhs1(), gimple_store_p(), and instrument_expr().

static bool instrument_memory_accesses ( )

static

   Instruments all interesting memory accesses in the current function.
   Return true if func entry/exit should be instrumented.

References builtin_decl_implicit(), cfun, function::function_start_locus, g, gimple_build_call(), gimple_call_set_lhs(), gimple_set_location(), gsi_after_labels(), gsi_insert_before(), GSI_SAME_STMT, make_ssa_name(), and single_succ().

static tree is_vptr_store ( )

static

   Check as to whether EXPR refers to a store to vptr.

References gimple_assign_rhs1().

gimple_opt_pass* make_pass_tsan ( )

gimple_opt_pass* make_pass_tsan_O0 ( )

void tsan_finish_file ( void )

   Inserts __tsan_init () into the list of CTORs.

Referenced by emit_debug_global_declarations().

static bool tsan_gate ( )

static

   The pass's gate.

References GIMPLE_PASS.

static bool tsan_gate_O0 ( )

static

static unsigned tsan_pass ( )

static

   ThreadSanitizer instrumentation pass.

References append_to_statement_list(), build_call_expr(), builtin_decl_implicit(), cgraph_build_static_cdtor(), and initialize_sanitizer_builtins().

Variable Documentation

struct tsan_map_atomic tsan_atomic_table[]

static

Referenced by instrument_builtin_call().

Data Structures

Enumerations

Functions

Variables

Enumeration Type Documentation

Function Documentation

Variable Documentation