cprover
remove_skip.cpp File Reference

Program Transformation. More...

#include "remove_skip.h"
Include dependency graph for remove_skip.cpp:

Go to the source code of this file.

Functions

static bool is_skip (goto_programt::instructionst::iterator it)
 
void remove_skip (goto_programt &goto_program)
 remove unnecessary skip statements More...
 
void remove_skip (goto_functionst &goto_functions)
 remove unnecessary skip statements More...
 

Detailed Description

Program Transformation.

Definition in file remove_skip.cpp.

Function Documentation

◆ is_skip()

static bool is_skip ( goto_programt::instructionst::iterator  it)
static

◆ remove_skip() [1/2]

◆ remove_skip() [2/2]

void remove_skip ( goto_functionst goto_functions)

remove unnecessary skip statements

Definition at line 158 of file remove_skip.cpp.

References Forall_goto_functions, and remove_skip().