]> granicus.if.org Git - clang/commit
This is the first step to gradually remove the use of loc::SymbolVal. Now
authorZhongxing Xu <xuzhongxing@gmail.com>
Fri, 3 Apr 2009 07:33:13 +0000 (07:33 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Fri, 3 Apr 2009 07:33:13 +0000 (07:33 +0000)
commita1718c78770db93d1b762620f07728a56786f2ae
tree70d070d73cada56167a7100ceaa5f6c99dc076c4
parent6d7d8398e71a8bd121d3b46e250f1dbcfb9679d4
This is the first step to gradually remove the use of loc::SymbolVal. Now
when creating symbolic values, we distinguish between location and non-location
values. For location values, we create a symbolic region instead of a
loc::SymbolVal.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68373 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/Analysis/PathSensitive/SVals.h
lib/Analysis/BasicStore.cpp
lib/Analysis/GRExprEngine.cpp
lib/Analysis/RegionStore.cpp
lib/Analysis/SVals.cpp