]> granicus.if.org Git - clang/commit
[Analyzer] Iterator Checker - Part 5: Move Assignment of Containers
authorAdam Balogh <adam.balogh@ericsson.com>
Mon, 10 Sep 2018 09:04:27 +0000 (09:04 +0000)
committerAdam Balogh <adam.balogh@ericsson.com>
Mon, 10 Sep 2018 09:04:27 +0000 (09:04 +0000)
commit90174d38156d99f85ce0ea8d29b41e98a75b4c22
tree02870c79ba503770333d3715d6cf059bac252636
parent6475259f54c232ecc64e6e351c1518af7afef87c
[Analyzer] Iterator Checker - Part 5: Move Assignment of Containers

If a container is moved by its move assignment operator, according to the standard all their iterators except the past-end iterators remain valid but refer to the new container. This patch introduces support for this case in the iterator checkers.

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

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