]> granicus.if.org Git - clang/commit
[analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATE
authorAnna Zaks <ganna@apple.com>
Tue, 30 Oct 2012 04:17:40 +0000 (04:17 +0000)
committerAnna Zaks <ganna@apple.com>
Tue, 30 Oct 2012 04:17:40 +0000 (04:17 +0000)
commit360b29c52a4c10f9d4c031d84d962ed2a4d58263
treebc3dde4ef8284e3f1bc12e11d56b3e112e17291e
parentac150f2619efcadbf23acd6e86695b5412723eb1
[analyzer] Fix a bug in REGISTER_MAP_WITH_PROGRAMSTATE

The ImmutableMap should not be the key into the GDM map as there could
be several entries with the same map type. Thanks, Jordan.

This complicates the usage of the macro a bit. When we want to retrieve
the whole map, we need to use another name. Currently, I set it to be
Name ## Ty as in "type of the map we are storing in the ProgramState".

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167000 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp