cprover
cpp_util.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author:
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_CPP_CPP_UTIL_H
11 #define CPROVER_CPP_CPP_UTIL_H
12 
13 #include <util/expr.h>
14 #include <util/symbol.h>
15 
16 symbol_exprt cpp_symbol_expr(const symbolt &symbol);
17 
18 inline void already_typechecked(irept &irep)
19 {
20  exprt tmp(ID_already_typechecked);
21  tmp.copy_to_operands(static_cast<exprt &>(irep));
22  irep.swap(tmp);
23 }
24 
25 #endif // CPROVER_CPP_CPP_UTIL_H
Symbol table entry.
void copy_to_operands(const exprt &expr)
Copy the given argument to the end of exprt&#39;s operands.
Definition: expr.h:123
void already_typechecked(irept &irep)
Definition: cpp_util.h:18
Symbol table entry.
Definition: symbol.h:27
Base class for tree-like data structures with sharing.
Definition: irep.h:156
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Definition: cpp_util.cpp:14
Base class for all expressions.
Definition: expr.h:54
void swap(irept &irep)
Definition: irep.h:303
Expression to hold a symbol (variable)
Definition: std_expr.h:143