This revision was automatically updated to reflect the committed changes.
Closed by commit rL247612: [Static Analyzer] Nullability checker optimization.
(authored by xazax).
Changed prior to commit:
http://reviews.llvm.org/D12848?vs=34693&id=34725#toc
Repository:
rL LLVM
http://reviews.llvm
xazax.hun created this revision.
xazax.hun added reviewers: dcoughlin, zaks.anna, jordan_rose.
xazax.hun added a subscriber: cfe-commits.
Right now the nullability checker only tracks symbolic regions. For this reason
if there are no dead symbols it is safe to skip the precondition checking. I
a
