]> granicus.if.org Git - clang/commit
[Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its last...
authorAdam Balogh <adam.balogh@ericsson.com>
Mon, 30 Jul 2018 08:52:21 +0000 (08:52 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Mon, 30 Jul 2018 08:52:21 +0000 (08:52 +0000)
commit0412c73790e89745e5da15323eb4048457a59057
tree452f407ba9a9887d8f383fcfd3e1b32d19ce468a
parent323c6c5e527ef0ff13566ba8360581d051365bdc
[Analyzer] Iterator Checker Hotfix: Defer deletion of container data until its last iterator is cleaned up

The analyzer may consider a container region as dead while it still has live
iterators. We must defer deletion of the data belonging to such containers
until all its iterators are dead as well to be able to compare the iterator
to the begin and the end of the container which is stored in the container
data.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@338234 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Checkers/IteratorChecker.cpp