|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python_converter.h>#include <symbol_id.h>#include <json_utils.h>#include <python-frontend/class/python_class_builder.h>#include <python-frontend/converter/converter_internal.h>#include <python-frontend/python_expr_builder.h>#include <python-frontend/type/type_utils.h>#include <util/irep/std_expr.h>#include <util/expr/expr_util.h>#include <util/irep/irep.h>#include <util/lang/python_types.h>#include <util/irep/std_code.h>#include <util/symtab/symbol.h>Functions | |
| static void | adopt_symbol_components (const symbolt &sym, struct_typet &st) |
| Converting a method adds a component to the class symbol for each self.attr store that add_self_attrs' straight-line scan misses, such as one inside an if. | |
|
static |
Converting a method adds a component to the class symbol for each self.attr store that add_self_attrs' straight-line scan misses, such as one inside an if.
Take them over so finalising the class with st does not drop them and allocate an instance too small for its stores (#8503).