cprover
static_lifetime_init.h File Reference
Include dependency graph for static_lifetime_init.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define INITIALIZE_FUNCTION   CPROVER_PREFIX "initialize"
 

Functions

bool static_lifetime_init (symbol_tablet &symbol_table, const source_locationt &source_location, message_handlert &message_handler)
 

Macro Definition Documentation

§ INITIALIZE_FUNCTION

#define INITIALIZE_FUNCTION   CPROVER_PREFIX "initialize"

Definition at line 23 of file static_lifetime_init.h.

Referenced by ansi_c_entry_point(), and static_lifetime_init().

Function Documentation

§ static_lifetime_init()