cprover
c_sizeof.h File Reference
#include <util/namespace.h>
#include <util/expr.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.

Classes

class  c_sizeoft
 

Functions

exprt c_sizeof (const typet &src, const namespacet &ns)
 
exprt c_offsetof (const struct_typet &src, const irep_idt &component_name, const namespacet &ns)
 

Function Documentation

◆ c_offsetof()

exprt c_offsetof ( const struct_typet src,
const irep_idt component_name,
const namespacet ns 
)

◆ c_sizeof()