Changes

Abstract interpretation operates on a flowchart representation of the function called a '''control flow graph''' or '''CFG'''. Here Below is the CFG for the example function:. This CFG is similar in flavor to the real GCC CFG, just with a few unimportant details removed.