[PATCH] D71224: [analyzer] Escape symbols stored into specific region after a conservative evalcall.

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

In D71224#1778284 <https://reviews.llvm.org/D71224#1778284>, @xazax.hun wrote:

> So I was wondering if we got the default right. Maybe a checker should do more work to get the escaping rather than more work preventing it?


But that's exactly how it works right now(?) If you don't define `checkPointerEscape` you get no escaping, if you do extra work of defining it you get the exact amount of escaping that you want.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D71224/new/

https://reviews.llvm.org/D71224