ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_sizeof.h
Go to the documentation of this file.
1#include <util/irep/expr.h>
2#include <irep2/irep2.h>
4
5exprt c_sizeof(const typet &src, const namespacet &ns);
6expr2tc c_sizeof(const type2tc &src, const namespacet &ns);
exprt c_sizeof(const typet &src, const namespacet &ns)
Definition c_sizeof.cpp:8
Definition expr.h:34
Definition namespace.h:10
Definition type.h:9
Classes and definitions for non-stringy internal representation.
irep_container< type2t > type2tc
Definition irep2.h:430
irep_container< expr2t > expr2tc
Definition irep2.h:431