Loading...
Searching...
No Matches
remove_skip.cpp File Reference
Program Transformation.
More...
+ Include dependency graph for remove_skip.cpp:
Go to the source code of this file.
Determine whether the instruction is semantically equivalent to a skip (no-op).
remove unnecessary skip statements
remove unnecessary skip statements
remove unnecessary skip statements
Detailed Description
Function Documentation
◆ is_skip()
Determine whether the instruction is semantically equivalent to a skip (no-op).
This includes a skip, but also if(false) goto ..., goto next; next: ..., and (void)0.
- Parameters
-
body goto program containing the instruction
it instruction iterator that is tested for being a skip (or equivalent)
ignore_labels If the caller takes care of moving labels, then even skip statements carrying labels can be treated as skips (even though they may carry key information such as error labels).
- Returns
- True, iff it is equivalent to a skip.
Definition at line 27 of file remove_skip.cpp.
◆ remove_skip() [1/4]
◆ remove_skip() [2/4]
◆ remove_skip() [3/4]
◆ remove_skip() [4/4]
remove unnecessary skip statements
- Parameters
-
goto_program goto program containing the instructions to be cleaned in the range [begin, end)
begin iterator pointing to first instruction to be considered
end iterator pointing beyond last instruction to be considered
Definition at line 87 of file remove_skip.cpp.
