]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb48adc) | patch
[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)
commitb9fc39969b7062348031ed0474059557bb9f6da3
tree42c7fe312043badc6b294c4bf4d29a2a3b935debtree | snapshot
parentbb48adc4fe79c1b1eaf91c90ef8ab7d46e530899commit | diff
[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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@369450 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h diff | blob | history
lib/StaticAnalyzer/Core/ExprEngine.cpp diff | blob | history
lib/StaticAnalyzer/Core/ExprEngineCXX.cpp diff | blob | history
test/Analysis/dtor.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.