ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_class_builder.cpp File Reference
Include dependency graph for python_class_builder.cpp:

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.

Function Documentation

◆ adopt_symbol_components()

void adopt_symbol_components ( const symbolt & sym,
struct_typet & st )
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).