[PATCH] D65349: [analyzer] Be more careful with destructors of non-regions.

Mon Jul 29 15:22:13 PDT 2019

NoQ added a comment.

In D65349#1604363 <https://reviews.llvm.org/D65349#1604363>, @baloghadamsoftware wrote:

> Is there any real-world use-case for casting concrete integers to class instances? How did you find this crashing case?

I think in original code this value was produced by doing pointer arithmetic over a null pointer. Which is kinda weird because we normally mis-model such arithmetic as resulting in a null pointer, so that to treat dereferences of such pointers as null dereferences (and abort the analysis immediately, never reaching the destructor). See also D37478 <https://reviews.llvm.org/D37478>.

Also it seems that this bug has just been independently reported as https://bugs.llvm.org/show_bug.cgi?id=42816.

Repository:
  rC Clang

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

https://reviews.llvm.org/D65349