cprover
|
Function Inlining. More...
#include "goto_inline_class.h"
#include <cassert>
#include <util/base_type.h>
#include <util/cprover_prefix.h>
#include <util/expr_util.h>
#include <util/invariant.h>
#include <util/prefix.h>
#include <util/std_code.h>
#include <util/std_expr.h>
#include <langapi/language_util.h>
#include "remove_skip.h"
#include "goto_inline.h"
Go to the source code of this file.
Functions | |
void | replace_location (source_locationt &dest, const source_locationt &new_location) |
void | replace_location (exprt &dest, const source_locationt &new_location) |
Function Inlining.
Definition in file goto_inline_class.cpp.
void replace_location | ( | source_locationt & | dest, |
const source_locationt & | new_location | ||
) |
Definition at line 243 of file goto_inline_class.cpp.
References comment(), dstringt::empty(), source_locationt::get_comment(), source_locationt::get_property_class(), source_locationt::get_property_id(), source_locationt::set_comment(), source_locationt::set_property_class(), and source_locationt::set_property_id().
Referenced by goto_inlinet::insert_function_body(), and replace_location().
void replace_location | ( | exprt & | dest, |
const source_locationt & | new_location | ||
) |
Definition at line 266 of file goto_inline_class.cpp.
References exprt::add_source_location(), irept::find(), Forall_operands, irept::is_not_nil(), and replace_location().