cprover
|
Unwind loops in static initializers. More...
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... | |
Unwind loops in static initializers.
Definition in file remove_static_init_loops.h.
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
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().