]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 281c360) | patch
[analyzer] Mark heap-based symbolic regions in debug dumps.
authorArtem Dergachev <artem.dergachev@gmail.com>
Tue, 5 Dec 2017 17:14:39 +0000 (17:14 +0000)
committerArtem Dergachev <artem.dergachev@gmail.com>
Tue, 5 Dec 2017 17:14:39 +0000 (17:14 +0000)
commitfc537f704027abcc019d4ab4b1acbbf633b86b51
treeb04c14e2acbced480828af0d2bb248c0238c60abtree | snapshot
parent281c360137844c00d13e6b366eed3a2dc7bd3099commit | diff
[analyzer] Mark heap-based symbolic regions in debug dumps.

They are now printed as HeapSymRegion{$x} in order to discriminate between that
and regular SymRegion{$x}, which are two different regions, having different
parent reginos (memory spaces) - HeapSpaceRegion and UnknownSpaceRegion
respectively.

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@319793 91177308-0d34-0410-b5e6-96231b3b80d8
lib/StaticAnalyzer/Core/MemRegion.cpp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.