This patch adds LocationContext to checkRegionChanges. This patch has been distilled out from other changes that I'll add separately. Following @zaks.anna suggestion, optional CallEvent parameter is now the last one. I have also updated documentation in CheckerDocumentation.cpp. For more discussion see https://reviews.llvm.org/D26588
Thank you for doing this!!!
Artem, do you want to disallow the creation of successors from checkRegionChanges callback or can this go in as is?
|240 ↗||(On Diff #79204)|
You should mention that you are deleting this in the commit message or split into a separate commit that could go in before this commit.
|255 ↗||(On Diff #79204)|
Please, remove this comment altogether.