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