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

[Artem Dergachev via Phabricator via cfe-commits]

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 the place when we try to evaluate destructors over concrete-int-but-not-null locations.

Add some defensive code.


Repository:
  rC Clang

https://reviews.llvm.org/D65349

Files:
  clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
  clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  clang/test/Analysis/dtor.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D65349.212004.patch
Type: text/x-patch
Size: 6244 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190726/6afeec58/attachment-0001.bin>