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

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 31 07:31:11 PDT 2021


martong added a comment.

Ah, I see you need `nonloc::SymbolVal` in your next patch, and `getDynamicSizeWithOffset` returns an Unknown if the extend is symbolic.

Anyway, I still feel misleading that `clang_analyzer_getExtent` does not handle the offset. Could we change `getDynamicSizeWithOffset` to return with a symbolic offset instead unknown without regression?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D99658



More information about the cfe-commits mailing list