cprover
remove_static_init_loops.h File Reference

Unwind loops in static initializers. More...

Include dependency graph for remove_static_init_loops.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void remove_static_init_loops (const symbol_tablet &, const goto_functionst &, optionst &)
 this is the entry point for the removal of loops in static initialization code of Java enums More...
 

Detailed Description

Unwind loops in static initializers.

Definition in file remove_static_init_loops.h.

Function Documentation

◆ remove_static_init_loops()

void remove_static_init_loops ( const symbol_tablet symbol_table,
const goto_functionst goto_functions,
optionst options 
)

this is the entry point for the removal of loops in static initialization code of Java enums

parameters: symbol table, goto_functions and options
Returns
side effect is adding <clinit> loops to unwindset

Definition at line 96 of file remove_static_init_loops.cpp.

References remove_static_init_loopst::unwind_enum_static().

Referenced by cbmc_parse_optionst::doit().