Improvement on array element aliasing analysis.

More robust array element aliasing analysis which covers aliasing
between all heap locations.

Test: run-test on host.
Test: 530-checker-lse/load_store_analysis_test.cc cover array index aliasing.
Change-Id: Ie0d1696bedb7811c6a4bc0786ef93ca724493de2
2 files changed