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