The current def/use analysis treats all indexes in an array as referring to the same object in memory. This should be modified -- potentially as an option to the algorithm -- to allow different indexes into the array to be distinguished when possible.
The current def/use analysis treats all indexes in an array as referring to the same object in memory. This should be modified -- potentially as an option to the algorithm -- to allow different indexes into the array to be distinguished when possible.