cprover
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
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}
void set(const irep_idt &name, const irep_idt &value)
Definition: irep.h:420
Expression to hold a symbol (variable)
Definition: std_expr.h:80
Symbol table entry.
Definition: symbol.h:28
typet type
Type of symbol.
Definition: symbol.h:31
irep_idt name
The unique identifier.
Definition: symbol.h:40
bool is_lvalue
Definition: symbol.h:66
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Definition: cpp_util.cpp:14
API to expression classes.
Symbol table entry.