[Analyzer] Only add container note tags to the operations of the affected container
authorAdam Balogh <adam.balogh@ericsson.com>
Thu, 30 Jan 2020 12:54:52 +0000 (13:54 +0100)
committerAdam Balogh <adam.balogh@ericsson.com>
Thu, 26 Mar 2020 08:44:16 +0000 (09:44 +0100)
commit1a27d63a8891076ad9176f1a70f372003bc55c2f
tree96d24f0ddf641391e677ca122ea3302b9192427f
parent27c201aa1d972c10bfc38ff5b4abaf78ab3d2ad2
[Analyzer] Only add container note tags to the operations of the affected container

If an error happens which is related to a container the Container
Modeling checker adds note tags to all the container operations along
the bug path. This may be disturbing if there are other containers
beside the one which is affected by the bug. This patch restricts the
note tags to only the affected container and adjust the debug checkers
to be able to test this change.

Differential Revision: https://reviews.llvm.org/D75514
clang/lib/StaticAnalyzer/Checkers/ContainerModeling.cpp
clang/lib/StaticAnalyzer/Checkers/DebugContainerModeling.cpp
clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
clang/test/Analysis/container-modeling.cpp