[PATCH] D65349: [analyzer] Be more careful with destructors of non-regions.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
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.
CHANGES SINCE LAST ACTION
More information about the cfe-commits