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

Gábor Horváth via cfe-commits cfe-commits at lists.llvm.org
Thu Sep 24 01:24:03 PDT 2015


xazax.hun added a comment.

One more note. Do we want to support const_cast for this? A possible way to do that is to invalidate this, when a const cast appears in the body of the function. (However the body might not be available. It is only my opinion, but I would be ok to accept this patch without const cast support, but it is something that we might want to document somewhere as a caveat.


http://reviews.llvm.org/D13099





More information about the cfe-commits mailing list