Zhongxing Xu
|
72119c478f
|
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95365 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-05 05:34:29 +00:00 |
Zhongxing Xu
|
f5416bdb75
|
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95362 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-05 05:18:47 +00:00 |
Zhongxing Xu
|
b4a9c612f9
|
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95360 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-05 05:06:13 +00:00 |
Zhongxing Xu
|
576bb92057
|
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95357 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-05 03:01:53 +00:00 |
Zhongxing Xu
|
c999ed7929
|
Now that CastRetrievedVal returns SVal, there is no need to use CastResult.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95279 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-04 02:39:47 +00:00 |
Zhongxing Xu
|
5d26bc02e2
|
Add skeleton of flat store manager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95214 91177308-0d34-0410-b5e6-96231b3b80d8
|
2010-02-03 09:10:32 +00:00 |