Open
Milestone
Update the internal structures for dependency analysis
Milestone ID: 334
In order to simplify and streamline the algorithm used for dependency analysis, some changes should be made:
- the
Variable
type should be changed to include the original indirection level, and theDependencyGraph
updated accordingly - The internal structures of the dependency graph should be changed, to differenciate more clearly between values and pointers