[PATCH] D99658: [analyzer] Fix clang_analyzer_getExtent for heap regions

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In D99658#2665730 <https://reviews.llvm.org/D99658#2665730>, @NoQ wrote:

> What about `clang_analyzer_getExtent(&x[2])` then?

I guess `(extent of heap segment that starts at symbol of type 'int *' conjured at statement 'new int [ext]') - 8` is the value I expect - which is the size of the remaining part of the memory region from `x+2 in bytes.`
We can argue about the semantics of this debug intrinsic or the name of it though.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D99658