cprover
|
(naive) Fence insertion More...
Go to the source code of this file.
Functions | |
void | fence_all_shared (message_handlert &message_handler, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions) |
void | fence_all_shared_aeg (message_handlert &message_handler, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions) |
void | fence_volatile (message_handlert &message_handler, value_setst &value_sets, symbol_tablet &symbol_table, goto_functionst &goto_functions) |
(naive) Fence insertion
Definition in file fence_shared.h.
void fence_all_shared | ( | message_handlert & | message_handler, |
value_setst & | value_sets, | ||
symbol_tablet & | symbol_table, | ||
goto_functionst & | goto_functions | ||
) |
Definition at line 565 of file fence_shared.cpp.
References simple_insertiont::do_it().
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program().
void fence_all_shared_aeg | ( | message_handlert & | message_handler, |
value_setst & | value_sets, | ||
symbol_tablet & | symbol_table, | ||
goto_functionst & | goto_functions | ||
) |
Definition at line 577 of file fence_shared.cpp.
References simple_insertiont::do_it().
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program().
void fence_volatile | ( | message_handlert & | message_handler, |
value_setst & | value_sets, | ||
symbol_tablet & | symbol_table, | ||
goto_functionst & | goto_functions | ||
) |
Definition at line 589 of file fence_shared.cpp.
References simple_insertiont::do_it().
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program().