[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)
commit302da83fc2890d4dcef9dcd49ae247c47fd208b5
tree2792c6e5e6e99a2a980907cb9db8fbcdbc8806cd
parent4afaaf228ccbf447d84a2713f54dcd15913d9df4
[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".

llvm-svn: 167000
clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h
clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp