cprover
goto_program2code.cpp File Reference

Dump Goto-Program as C/C++ Source. More...

#include "goto_program2code.h"
#include <sstream>
#include <util/c_types.h>
#include <util/config.h>
#include <util/prefix.h>
#include <util/simplify_expr.h>
#include <util/find_symbols.h>
#include <util/arith_tools.h>
#include <util/type_eq.h>
Include dependency graph for goto_program2code.cpp:

Go to the source code of this file.

Functions

static const exprtskip_typecast (const exprt &expr)
 
static bool has_labels (const codet &code)
 
static bool move_label_ifthenelse (exprt &expr, exprt &label_dest)
 

Detailed Description

Dump Goto-Program as C/C++ Source.

Definition in file goto_program2code.cpp.

Function Documentation

§ has_labels()

static bool has_labels ( const codet code)
static

§ move_label_ifthenelse()

§ skip_typecast()

static const exprt& skip_typecast ( const exprt expr)
static