| commit | 0e3151b70450ce3ed81543c4b22d99069713f979 | [log] [tgz] |
|---|---|---|
| author | Mingyao Yang <mingyao@google.com> | Mon Oct 30 11:19:57 2017 -0700 |
| committer | Mingyao Yang <mingyao@google.com> | Fri Nov 10 12:14:57 2017 -0800 |
| tree | a9e1a8667aed657229a14a17b1a138d8d27bc4ea | |
| parent | 6fde072609bd65ee1e8bd71dec9bc5899c99f9d7 [diff] |
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