[Opt] [bug] Better aliasing analysis for dead store elimination

[xumingkuan]

Related issue = #1324 #1394 (comment)

[Click here for the format server]

---

[codecov]

Codecov Report

Merging #1432 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #1432   +/-   ##
=======================================
  Coverage   66.47%   66.47%           
=======================================
  Files          38       38           
  Lines        5264     5264           
  Branches      944      944           
=======================================
  Hits         3499     3499           
  Misses       1603     1603           
  Partials      162      162           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c75e5ed...3f13180. Read the comment docs.

[yuanming-hu]

Cool! Thanks.

(Maybe it makes sense to introduce in the future a three-state enum with {true, uncertain, false} so that you can unify maybe/definitely_same_address/contain).