Complications to Dataflow Analysis
Complications to Dataflow Analysis
- Static Variables
Ô i.e. variables local to a function that retain their values between calls to the functionÔ Create dependencies between the order of the calls to a function and, in effect, represent a communication path between all functions which call the function.
- Aliasing (often due to call-by-reference or call-by-name)
Ô i.e. one or more name used to represent the same variable, which can result in hidden dependencies.Ô Several functions can be called with the name (or address) of the same object at the same time and multiple functions may try to modify the object concurrently. Unfortunately, this condition depends on run-time behavior.
EE290H, Fall ‘85