commit 2d3eff8250fa327e3887b7661fad57ddf40960bb
author Roberto Lublinerman <rluble@gmail.com> Sun Aug 31 16:05:16 2014 -0700
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed Oct 01 21:33:08 2014 +0000
tree 2d4b40af21f350784af01cd8d74bd7e6d15604bb
parent 920ba9013b2b4714e931dbd63bb72f1cae403f2d

Fix nullness analysis in TypeTightener.

(1) Makes the CanPotentiallySeeUninitializedFields analysis available
    in TypeTightener to fix an unsafe assumption when computing
    nullability.
(2) Fixes a bug in CanPotentiallySeeUninitializedFields:
    - instance initializer was incorrectly analyzed; the analysis
      assumed $$init was the instance initializer whereas it was
      the devirtualized instance initializer.
(3) Improves the strength of the analysis by explicitly checking whether
    a "this" reference (or its devirtualized version) is used for a
    polymorphic call, involved in the parameters to static calls or
    involved in an expression that may create an alias to it.
(4) Adds some missing optimizations related to nullability.

Change-Id: I7a14112af353d50c4d83a2a31f47b1138488586e