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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
