Loading...

Searching...

No Matches

goto_inline_class.cpp File Reference

Function Inlining. More...

#include "goto_inline_class.h"
#include <util/cprover_prefix.h>
#include <util/invariant.h>
#include <util/namespace.h>
#include <util/std_code.h>
#include <util/symbol.h>

+ Include dependency graph for goto_inline_class.cpp:

[フレーム]

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)

Detailed Description

Function Inlining.

Definition in file goto_inline_class.cpp.

Function Documentation

◆ replace_location() [1/2]

void replace_location ( exprt & dest,

const source_locationt & new_location

)

Definition at line 203 of file goto_inline_class.cpp.

◆ replace_location() [2/2]

void replace_location ( source_locationt & dest,

const source_locationt & new_location

)

Definition at line 180 of file goto_inline_class.cpp.