expr2c.cpp File Reference

#include "expr2c.h"
#include <cassert>
#include <cctype>
#include <cstdio>
#include <map>
#include <set>
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/std_types.h>
#include <util/std_code.h>
#include <util/ieee_float.h>
#include <util/fixedbv.h>
#include <util/prefix.h>
#include <util/lispirep.h>
#include <util/lispexpr.h>
#include <util/namespace.h>
#include <util/symbol.h>
#include <util/suffix.h>
#include <util/find_symbols.h>
#include <util/pointer_offset_size.h>
#include "c_misc.h"
#include "c_qualifiers.h"
#include "expr2c_class.h"

Include dependency graph for expr2c.cpp:

Go to the source code of this file.

Functions
static std::string	clean_identifier (const irep_idt &id)
std::string	expr2c (const exprt &expr, const namespacet &ns)
std::string	type2c (const typet &type, const namespacet &ns)

Function Documentation

clean_identifier()

static std::string clean_identifier ( const irep_idt &  id )

static

Definition at line 73 of file expr2c.cpp.

References irept::find(), id2string(), and size_type().

Referenced by expr2ct::convert_code_goto(), expr2ct::convert_code_label(), and expr2ct::get_shorthands().

expr2c()

std::string expr2c	(	const exprt &	expr,
		const namespacet &	ns
	)

Definition at line 3874 of file expr2c.cpp.

References expr2c().

Referenced by disjunctive_polynomial_accelerationt::accelerate(), polynomial_acceleratort::accelerate(), acceleration_utilst::array_assignments2polys(), acceleration_utilst::assign_array(), cone_of_influencet::cone_of_influence(), acceleration_utilst::do_arrays(), acceleration_utilst::do_nonrecursive(), expr2c(), acceleration_utilst::expr2poly(), polynomial_acceleratort::fit_const(), disjunctive_polynomial_accelerationt::fit_polynomial(), polynomial_acceleratort::fit_polynomial_sliced(), ansi_c_languaget::from_expr(), acceleratet::is_underapproximate(), acceleration_utilst::precondition(), polynomial_acceleratort::precondition(), acceleratet::set_dirty_vars(), zero_initializert::to_string(), c_typecheck_baset::to_string(), and type2c().

type2c()

std::string type2c	(	const typet &	type,
		const namespacet &	ns
	)

Definition at line 3882 of file expr2c.cpp.

References expr2c().

Referenced by ansi_c_languaget::from_type(), zero_initializert::to_string(), and c_typecheck_baset::to_string().