[PATCH] D69745: [analyzer] Checker: check::BeginAnalysis

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D69745#1732744 <https://reviews.llvm.org/D69745#1732744>, @Charusso wrote:

> I think every `UnknownSpaceRegion` stuff is tainted, and that is a strong mark here.


Mmm, no, that's definitely not true. Basically, if you analyze a method of a class as your top frame, you have your whole class reside in `UnknownSpaceRegion`, being represented as `SymRegion{reg_$0<this>}`. It doesn't mean that there are no contracts that constrain possible values of fields within the class.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69745/new/

https://reviews.llvm.org/D69745