remove_unreachable.h File Reference

This graph shows which files directly or indirectly include this file:

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

Function Documentation

remove_unreachable() [1/2]

void remove_unreachable

(

goto_functionst &

goto_functions

)

Removes unreachable instructions from all functions.

Parameters

[out]

goto_functions

The goto functions from which the unreachable functions are to be removed.

Definition at line 63 of file remove_unreachable.cpp.

remove_unreachable() [2/2]

void remove_unreachable

(

goto_programt &

goto_program

)

remove unreachable code

Definition at line 20 of file remove_unreachable.cpp.