ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
c_sizeof.h File Reference
#include <util/irep/expr.h>
#include <irep2/irep2.h>
#include <util/symtab/namespace.h>
Include dependency graph for c_sizeof.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

exprt c_sizeof (const typet &src, const namespacet &ns)
expr2tc c_sizeof (const type2tc &src, const namespacet &ns)

Function Documentation

◆ c_sizeof() [1/2]

expr2tc c_sizeof ( const type2tc & src,
const namespacet & ns )

◆ c_sizeof() [2/2]

exprt c_sizeof ( const typet & src,
const namespacet & ns )