| commit | 262fd03ee934bebfbbfaabc14744427dd2e7a231 | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Wed May 20 09:00:16 2009 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Wed May 20 09:00:16 2009 +0000 |
| tree | 42b225e62f5e99d4cb9235f435dec96a4a36981e | |
| parent | 5df0d426026b3820b5f0b13a8d4e60e9373d8d9d [diff] |
* API change: we need to pass GRState to GRExprEngine::EvalBinOp() because RegionStore needs to know the type of alloca region. * RegionStoreManager::EvalBinOp() now converts the alloca region to its first element region, as what is done to symbolic region. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72164 91177308-0d34-0410-b5e6-96231b3b80d8