CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
cpp_util.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author:
6
7\*******************************************************************/
8
9#include "cpp_util.h"
10
11#include <util/std_expr.h>
12#include <util/symbol.h>
13
14symbol_exprt cpp_symbol_expr(const symbolt &symbol)
15{
16 symbol_exprt tmp(symbol.name, symbol.type);
17
18 if(symbol.is_lvalue)
19 tmp.set(ID_C_lvalue, true);
20
21 return tmp;
22}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
symbol_exprt
Expression to hold a symbol (variable)
Definition std_expr.h:131
symbolt
Symbol table entry.
Definition symbol.h:28
symbolt::type
typet type
Type of symbol.
Definition symbol.h:31
symbolt::name
irep_idt name
The unique identifier.
Definition symbol.h:40
symbolt::is_lvalue
bool is_lvalue
Definition symbol.h:72
cpp_symbol_expr
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Definition cpp_util.cpp:14
cpp_util.h
std_expr.h
API to expression classes.
symbol.h
Symbol table entry.