]> granicus.if.org Git - clang/commit
[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.
authorJordan Rose <jordan_rose@apple.com>
Thu, 9 Aug 2012 22:55:54 +0000 (22:55 +0000)
committerJordan Rose <jordan_rose@apple.com>
Thu, 9 Aug 2012 22:55:54 +0000 (22:55 +0000)
commit5ad76c073e1822d11901a8552c6aa9372038b5f0
tree617d3d697dc28329e5091e9a47d7a7b6ffc07c8d
parent1e934431adba0f459668a59c6059b9596fd627b4
[analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate.

Both methods need to clear out existing bindings and provide a new default
binding. Originally KillStruct always provided UnknownVal as the default,
but it's allowed symbolic values for quite some time (for handling returned
structs in C).

No functionality change.

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