cprover
|
Dump Goto-Program as C/C++ Source. More...
#include "goto_program2code.h"
#include <sstream>
#include <util/c_types.h>
#include <util/config.h>
#include <util/prefix.h>
#include <util/simplify_expr.h>
#include <util/find_symbols.h>
#include <util/arith_tools.h>
#include <util/type_eq.h>
Go to the source code of this file.
Functions | |
static const exprt & | skip_typecast (const exprt &expr) |
static bool | has_labels (const codet &code) |
static bool | move_label_ifthenelse (exprt &expr, exprt &label_dest) |
Dump Goto-Program as C/C++ Source.
Definition in file goto_program2code.cpp.
|
static |
Definition at line 1696 of file goto_program2code.cpp.
References forall_operands, codet::get_statement(), and to_code().
Referenced by goto_program2codet::cleanup_code_ifthenelse().
Definition at line 1708 of file goto_program2code.cpp.
References code_labelt::code(), dstringt::empty(), code_labelt::get_label(), codet::get_statement(), exprt::has_operands(), irept::is_nil(), exprt::operands(), irept::swap(), to_code(), to_code_block(), and to_code_label().
Referenced by goto_program2codet::cleanup_code_ifthenelse().
Definition at line 24 of file goto_program2code.cpp.
References irept::id(), and to_typecast_expr().
Referenced by goto_program2codet::convert_assign_varargs(), goto_program2codet::convert_goto_switch(), and goto_program2codet::get_cases().