Def/Use analysis should be array-sensitive #7
Description
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.