cprover
|
Program Transformation. More...
#include "goto_functions.h"
Go to the source code of this file.
Functions | |
void | remove_skip (goto_programt &goto_program) |
remove unnecessary skip statements More... | |
void | remove_skip (goto_functionst &goto_functions) |
remove unnecessary skip statements More... | |
Program Transformation.
Definition in file remove_skip.h.
void remove_skip | ( | goto_programt & | goto_program | ) |
remove unnecessary skip statements
Definition at line 71 of file remove_skip.cpp.
References goto_program_templatet< codeT, guardT >::compute_incoming_edges(), Forall_goto_program_instructions, goto_program_templatet< codeT, guardT >::instructions, and is_skip().
Referenced by sat_path_enumeratort::build_fixed(), disjunctive_polynomial_accelerationt::build_fixed(), scratch_programt::check_sat(), goto_instrument_parse_optionst::doit(), fence_pensieve(), fence_weak_memory(), havoc_loopst::havoc_loop(), goto_instrument_parse_optionst::instrument_goto_program(), model_argc_argv(), code_contractst::operator()(), full_slicert::operator()(), cbmc_parse_optionst::process_goto_program(), k_inductiont::process_loop(), race_check(), remove_function_pointerst::remove_function_pointers(), remove_skip(), reachability_slicert::slice(), slice_global_inits(), and weak_memory().
void remove_skip | ( | goto_functionst & | goto_functions | ) |
remove unnecessary skip statements
Definition at line 158 of file remove_skip.cpp.
References Forall_goto_functions, and remove_skip().