cprover
basic_blocks.cpp File Reference

Group Basic Blocks in Goto Program. More...

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

Go to the source code of this file.

Functions

void basic_blocks (goto_programt &goto_program, unsigned max_block_size)
 convert basic blocks into single expressions of type "block" More...
 

Detailed Description

Group Basic Blocks in Goto Program.

Definition in file basic_blocks.cpp.

Function Documentation

§ basic_blocks()

void basic_blocks ( goto_programt goto_program,
unsigned  max_block_size 
)

convert basic blocks into single expressions of type "block"

Definition at line 15 of file basic_blocks.cpp.

References goto_program_templatet< codeT, guardT >::instructions, and exprt::move_to_operands().

Referenced by instrument_cover_goals().