cprover
|
Unwind loops in static initializers. More...
#include "remove_static_init_loops.h"
#include <algorithm>
#include <util/message.h>
#include <util/suffix.h>
#include <util/string2int.h>
Go to the source code of this file.
Classes | |
class | remove_static_init_loopst |
Functions | |
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 More... | |
Unwind loops in static initializers.
Definition in file remove_static_init_loops.cpp.
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().