cprover
cpp_util.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author:
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 }
irep_idt name
The unique identifier.
Definition: symbol.h:43
Symbol table entry.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition: symbol.h:30
API to expression classes.
typet type
Type of symbol.
Definition: symbol.h:34
Base class for all expressions.
Definition: expr.h:42
Expression to hold a symbol (variable)
Definition: std_expr.h:90
exprt cpp_symbol_expr(const symbolt &symbol)
Definition: cpp_util.cpp:14
void set(const irep_namet &name, const irep_idt &value)
Definition: irep.h:286
bool is_lvalue
Definition: symbol.h:68