jimple-language.cpp File Reference

#include <assert.h>
#include <jimple-frontend/jimple-language.h>
#include <c2goto/cprover_library.h>

Include dependency graph for jimple-language.cpp:

Functions
languaget *	new_jimple_language ()
static void	init_variable (codet &dest, const symbolt &sym)
static void	static_lifetime_init (const contextt &context, codet &dest)
static void	add_global_static_variable (contextt &ctx, const type2tc &t, const std::string &name)

Function Documentation

add_global_static_variable()

void add_global_static_variable ( contextt & ctx, const type2tc & t, const std::string & name )

static

init_variable()

void init_variable ( codet & dest, const symbolt & sym )

inlinestatic

new_jimple_language()

languaget * new_jimple_language

(

)

static_lifetime_init()

void static_lifetime_init ( const contextt & context, codet & dest )

inlinestatic