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

This revision was automatically updated to reflect the committed changes. Closed by commit rL369450: [analyzer] Fix a crash when destroying a non-region. (authored by dergachev, committed by ). Herald added a project: LLVM. Herald added a subscriber: llvm-commits. Changed prior to commit:

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

NoQ updated this revision to Diff 214972. NoQ marked 2 inline comments as done. NoQ added a comment. Fxd! CHANGES SINCE LAST ACTION https://reviews.llvm.org/D65349/new/ https://reviews.llvm.org/D65349 Files: clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h

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

xazax.hun accepted this revision. xazax.hun added a comment. This revision is now accepted and ready to land. LG! Repository: rC Clang CHANGES SINCE LAST ACTION https://reviews.llvm.org/D65349/new/ https://reviews.llvm.org/D65349 ___

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

NoQ added a comment. In 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

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

baloghadamsoftware added a comment. Yes, it crashes! :-) I tried it because I did not believe it, but it does. Is there any real-world use-case for casting concrete integers to class instances? How did you find this crashing case? Comment at:

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

NoQ created this revision. NoQ added reviewers: dcoughlin, xazax.hun, a_sidorin, rnkovacs, Szelethus, baloghadamsoftware, Charusso. Herald added subscribers: cfe-commits, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, szepet. Herald added a project: clang. It turns out that we crash all over