[analyzer] Fix a crash when destroying a non-region.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 20 Aug 2019 21:41:17 +0000 (21:41 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 20 Aug 2019 21:41:17 +0000 (21:41 +0000)
commit8eb7a74b7808584e017673d5046db867fb873e60
treed9979d2871961e1ee936c074dc4e68c9084b31fa
parentd3971fe97b64785c079d64bf4c8c3e2b5e1f85a1
[analyzer] Fix a crash when destroying a non-region.

Add defensive check that prevents a crash when we try to evaluate a destructor
whose this-value is a concrete integer that isn't a null.

Differential Revision: https://reviews.llvm.org/D65349

llvm-svn: 369450
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