Complications to Dataflow Analysis*
Complications to Dataflow Analysis*
- Unrestricted goto statements (jumps)
Ô Introduce overly-pessimistic dependencies during static analysisÔ Values of variables references in the statements following a label depend on the assignments to variables in the code sections that can jump to the label.
- Global variables
Ô i.e. variables declared outside of any function and therefore able to be shared by all functionsÔ Last-use cannot be determined without examining the entire program.
EE290H, Fall ‘85
*J. T. Deutsch, “Behavioral-Level Simulation and Synthesis of Digital Systems,” UCB/ERL M83/47, August 1983