]> granicus.if.org Git - clang/commit
Enhance basic store to also lazily symbolicate VarRegions
authorTed Kremenek <kremenek@apple.com>
Wed, 10 Mar 2010 00:18:08 +0000 (00:18 +0000)
committerTed Kremenek <kremenek@apple.com>
Wed, 10 Mar 2010 00:18:08 +0000 (00:18 +0000)
commit30986dd4b633a629f38e4806d9e8d16cb7b7bed7
tree8212afd77383e03994a3f5a0e02ec3cffb4e8528
parentd58562e84f54f0d2c9f2cd0f8b589201f3add2ec
Enhance basic store to also lazily symbolicate VarRegions
with an 'unknown' memory space.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@98110 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Checker/BasicStore.cpp