7
edits
Changes
→Control Flow Graphs
It looks like a pretty normal flowchart. Some features to note:
* All possible control transitions are shown as explicit edges(that is, links between the nodes containing code - see http://en.wikipedia.org/wiki/Graph_(mathematics) for more information).
* Statements always have exactly one operation and at most one assignment. Temporary variables are added if necessary. This will really simplify our job: instead of handling every kind of C++ statement, we have only have to analyze these simple statements.
