thread_instrumentation.h File Reference

#include <goto-programs/goto_functions.h>

Include dependency graph for thread_instrumentation.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
void	thread_exit_instrumentation (goto_functionst &)
void	mutex_init_instrumentation (const symbol_tablet &, goto_functionst &)

Function Documentation

mutex_init_instrumentation()

void mutex_init_instrumentation	(	const symbol_tablet &	,
		goto_functionst &
	)

Definition at line 121 of file thread_instrumentation.cpp.

References Forall_goto_functions, irept::id(), mutex_init_instrumentation(), code_typet::parameters(), typet::subtype(), symbol_tablet::symbols, and to_code_type().

thread_exit_instrumentation()

void thread_exit_instrumentation

(

goto_functionst &

)

Definition at line 56 of file thread_instrumentation.cpp.

References forall_goto_functions, code_function_callt::function(), goto_functions_templatet< bodyT >::function_map, has_start_thread(), thread_exit_instrumentation(), to_code_function_call(), and to_symbol_expr().