Merge "Improvement on array element aliasing analysis."
am: 27f5fefeb4

Change-Id: I445019cfc149f6f9cf6a1734ed1f53b078ebca82