symbolic_types.h

Go to the documentation of this file.

// This file contains the functions to replace symbolic types in
// structs, classes and unions before generating zero initializations
// or adding paddings. For more details, see PR 1180
// https://github.com/esbmc/esbmc/pull/1180
 
#ifndef ESBMC_SYMBOLIC_TYPES_H
#define ESBMC_SYMBOLIC_TYPES_H
 
#include <util/irep/std_types.h>
#include <util/symtab/namespace.h>
 
// Replaces the symbolic struct type with the complete struct type.
typet get_complete_type(typet type, const namespacet &ns);
 
#endif // ESBMC_SYMBOLIC_TYPES_H