Commit 0e3151b7 authored by Mingyao Yang's avatar Mingyao Yang
Browse files

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
parent 6fde0726
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment