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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
