cprover
|
Internal Representation. More...
#include "irep.h"
#include <ostream>
#include "invariant.h"
#include "string2int.h"
#include "string_hash.h"
#include "irep_hash.h"
Go to the source code of this file.
Functions | |
const irept & | get_nil_irep () |
static void | indent_str (std::string &s, unsigned indent) |
Variables | |
irept | nil_rep_storage |
Internal Representation.
Definition in file irep.cpp.
const irept& get_nil_irep | ( | ) |
Definition at line 56 of file irep.cpp.
References dstringt::empty(), irept::id(), and nil_rep_storage.
Referenced by _newstack(), java_bytecode_convert_methodt::convert_instructions(), irept::find(), exprt::find_source_location(), smt1_convt::find_symbols(), goto_inlinet::get_call(), struct_union_typet::get_component(), invariant_sett::get_constant(), get_destructor(), flow_insensitive_abstract_domain_baset::get_return_lhs(), static_analysis_baset::get_return_lhs(), irep_serializationt::insert_on_read(), template_mapt::lookup(), template_mapt::lookup_expr(), template_mapt::lookup_type(), irept::make_nil(), exprt::move_to_operands(), irept::move_to_sub(), typet::move_to_subtypes(), source_locationt::nil(), Parser::optThrowDecl(), Parser::rAllocateExpr(), Parser::rDeclarator(), symex_slice_by_tracet::read_trace(), Parser::rTempArgList(), cpp_namet::source_location(), and typet::subtype().
|
static |
Definition at line 635 of file irep.cpp.
Referenced by irept::pretty().
irept nil_rep_storage |
Definition at line 29 of file irep.cpp.
Referenced by get_nil_irep().