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