cprover
|
#include <ansi-c/c_object_factory_parameters.h>
#include <util/message.h>
#include <util/symbol_table.h>
Go to the source code of this file.
Functions | |
bool | ansi_c_entry_point (symbol_tablet &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters) |
bool | generate_ansi_c_start_function (const symbolt &symbol, symbol_tablet &symbol_table, message_handlert &message_handler, const c_object_factory_parameterst &object_factory_parameters) |
Generate a _start function for a specific function. More... | |
bool ansi_c_entry_point | ( | symbol_tablet & | symbol_table, |
message_handlert & | message_handler, | ||
const c_object_factory_parameterst & | object_factory_parameters | ||
) |
Definition at line 103 of file ansi_c_entry_point.cpp.
bool generate_ansi_c_start_function | ( | const symbolt & | symbol, |
symbol_tablet & | symbol_table, | ||
message_handlert & | message_handler, | ||
const c_object_factory_parameterst & | object_factory_parameters | ||
) |
Generate a _start function for a specific function.
symbol | The symbol for the function that should be used as the entry point |
symbol_table | The symbol table for the program. The new _start function symbol will be added to this table |
message_handler | The message handler |
object_factory_parameters | configuration parameters for the object factory |
Definition at line 188 of file ansi_c_entry_point.cpp.