clang_cpp_adjust_irep2.cpp File Reference

#include <clang-cpp-frontend/clang_cpp_adjust_irep2.h>
#include <clang-cpp-frontend/clang_cpp_code_gen.h>
#include <clang-cpp-frontend/clang_cpp_destructor_call.h>
#include <goto-programs/destructor.h>
#include <util/irep/std_code.h>
#include <util/lang/c_typecast.h>
#include <clang-cpp-frontend/clang_cpp_exception_id.h>
#include <clang-c-frontend/clang_c_adjust_guards.h>

Include dependency graph for clang_cpp_adjust_irep2.cpp:

Macros
#define	ARM(member)

Functions
static bool	is_cpp_member_call (const expr2tc &expr)
	The guards live on the C pass's translation unit as file-local statics, so they are re-declared here rather than shared: they read only the node, and a second definition of a one-line predicate is cheaper than exporting them.
static bool	is_unresolved_cpp_catch (const expr2tc &expr)
	A source-level try/catch whose handler ids have not been computed yet.
static bool	is_unresolved_cpp_delete (const expr2tc &expr)
	A delete whose destructor call has not been attached yet.
static bool	is_unresolved_cpp_throw (const expr2tc &expr)

Macro Definition Documentation

ARM

#define ARM

(

member

)

Value:

  #member,                                                                     \
    +[](clang_cpp_adjust_irep2 &self, expr2tc &expr) { self.member(expr); }

Function Documentation

is_cpp_member_call()

bool is_cpp_member_call ( const expr2tc & expr )

static

The guards live on the C pass's translation unit as file-local statics, so they are re-declared here rather than shared: they read only the node, and a second definition of a one-line predicate is cheaper than exporting them.

A member whose type is code: a method named through . or ->. A data member is left alone, and so is a member with no component name.

is_unresolved_cpp_catch()

bool is_unresolved_cpp_catch ( const expr2tc & expr )

static

A source-level try/catch whose handler ids have not been computed yet.

The post-goto-convert CATCH marker carries no operands and is left alone.

is_unresolved_cpp_delete()

bool is_unresolved_cpp_delete ( const expr2tc & expr )

static

A delete whose destructor call has not been attached yet.

is_unresolved_cpp_throw()

bool is_unresolved_cpp_throw ( const expr2tc & expr )

static