remove_unreachable.cpp File Reference

Program Transformation. More...

#include "remove_unreachable.h"
#include <set>
#include <stack>
#include "goto_functions.h"

Include dependency graph for remove_unreachable.cpp:

Go to the source code of this file.

Functions
void	remove_unreachable (goto_programt &goto_program)
	remove unreachable code More...
void	remove_unreachable (goto_functionst &goto_functions)
	Removes unreachable instructions from all functions. More...

Detailed Description

Program Transformation.

Definition in file remove_unreachable.cpp.

Function Documentation

remove_unreachable() [1/2]

void remove_unreachable

(

goto_programt &

goto_program

)

remove unreachable code

Definition at line 20 of file remove_unreachable.cpp.

remove_unreachable() [2/2]

void remove_unreachable

(

goto_functionst &

goto_functions

)

Removes unreachable instructions from all functions.

parameters: The goto functions from which the unreachable functions are

to be removed.

Returns

None.

Definition at line 64 of file remove_unreachable.cpp.