This revision was automatically updated to reflect the committed changes.
Closed by commit rL267413: [analyzer] Let TK_PreserveContents span across the
whole base region. (authored by dergachev).
Changed prior to commit:
http://reviews.llvm.org/D19057?vs=53551&id=54852#toc
Repository:
rL LLV
zaks.anna accepted this revision.
zaks.anna added a comment.
This revision is now accepted and ready to land.
LGTM!
One thing to be aware here is that a const pointer could be deleted, so we
should be able to delete a parent object without a warning. (I think that
should work with this patch si
NoQ created this revision.
NoQ added reviewers: zaks.anna, dcoughlin.
NoQ added a subscriber: cfe-commits.
Essentially, if `s` is a structure, and `foo(const void *)` is evaluated
conservatively, then `foo(&s)` does not invalidate `s`, but `foo(&(s.x))`
invalidates the whole `s`, because the sto