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 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
exprt cpp_symbol_expr(const symbolt &symbol)
Definition: cpp_util.cpp:14
Symbol table entry.
void copy_to_operands(const exprt &expr)
Definition: expr.cpp:55
void already_typechecked(irept &irep)
Definition: cpp_util.h:18
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition: symbol.h:30
Base class for tree-like data structures with sharing.
Definition: irep.h:86
Base class for all expressions.
Definition: expr.h:42
void swap(irept &irep)
Definition: irep.h:231