#31 Highlight dependencies of pointers

[Leonardo Solis Vasquez]

This may help privatization a lot, since privatizing pointers doesn't privatize the locations a pointer points to.

[Mihai T. Lazarescu]

You mean:
dependencies through the location(s) pointed to by pointers
OR
dependencies through changes of the value of a pointer (address pointed to by it)?

[Leonardo Solis Vasquez]

I mean dependencies through location(s) pointed to by pointers since to privatize those requires to do some more work than simply adding privatization constructs on their corresponding pointer variables.

Anyway, making the difference between pointer and non-pointer variables/dependencies will be helpful.

[Mihai T. Lazarescu]

Dependencies through heap-allocated space is tracked as
are those through static-allocated space referenced through
pointers.

In data dependency view, data dependencies are cross-referenced
to the source statement where the space was allocated.

Is there something missing?