cprover
remove_static_init_loops.cpp File Reference

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>
Include dependency graph for remove_static_init_loops.cpp:

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...
 

Detailed Description

Unwind loops in static initializers.

Definition in file remove_static_init_loops.cpp.

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().