retdec
|
A representation of a "while true" loop. More...
#include <loop_optimizer.h>
Public Attributes | |
ShPtr< Statement > | beforeLoopEndStmts |
ShPtr< IfStmt > | loopEnd |
The loop's end – corresponds to (2) in the class description. More... | |
ShPtr< Statement > | afterLoopEndStmts |
A representation of a "while true" loop.
Consider a general "while true" loop:
This class represents a loop splitted into the parts (1) through (3).
Statements after the loop's end – corresponds to (3) in the class description.
Statements before the loop's end – corresponds to (1) in the class description.
The loop's end – corresponds to (2) in the class description.