| commit | 652be346f74feba027bcbdeb6a3e3f4755a0e62c | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Mon Nov 16 04:49:44 2009 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Mon Nov 16 04:49:44 2009 +0000 |
| tree | 7ac0e7954d742066961437ffac9fa882da4a7dca | |
| parent | 7f92f0362ef2cf218bc19bb83e1a97dd254b5527 [diff] |
* Do the same thing to the basicstore as in r84163. * Add a load type to GRExprEngine::EvalLoad(). * When retrieve from 'theValue' of OSAtomic funcitions, use the type of the region instead of the argument expression as the load type. * Then we can convert CastRetrievedSVal to a pure assertion. In the future we can let all Retrieve() methods simply return SVal. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@88888 91177308-0d34-0410-b5e6-96231b3b80d8