NoQ added a comment. In D71224#1776052 <https://reviews.llvm.org/D71224#1776052>, @xazax.hun wrote:
> Also, it looks like for example `CStringChecker` calls > `ProgramState::InvalidateRegions` directly when modeling function calls. So > it looks like if checkers are using evalCall, pointerEscape will not be > triggered automatically. I am not sure if that would be a bug or feature :D I'd say it's a feature, because `evalCall` is the official way for checkers to opt out of babysitting. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D71224/new/ https://reviews.llvm.org/D71224 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
