Re: [PATCH] D13099: [Analyzer] Don’t invalidate CXXThis when conservatively evaluating const methods (PR 21606)

[Anna Zaks via cfe-commits]

zaks.anna added a comment.

> I think I understand, but to clarify:

>  The fields that shouldn't be invalidated should still be added to ValuesToInvalidate, but with 

>  RegionAndSymbolInvalidationTraits::TK_PreserveContents set. This will result in 

>  checkConstPointerEscape being called properly.




> Is that correct?


Yes, I think that is exactly how that works.


http://reviews.llvm.org/D13099