]> granicus.if.org Git - clang/commit
* API change: we need to pass GRState to GRExprEngine::EvalBinOp() because
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 20 May 2009 09:00:16 +0000 (09:00 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 20 May 2009 09:00:16 +0000 (09:00 +0000)
commit262fd03ee934bebfbbfaabc14744427dd2e7a231
tree42b225e62f5e99d4cb9235f435dec96a4a36981e
parent5df0d426026b3820b5f0b13a8d4e60e9373d8d9d
* 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
include/clang/Analysis/PathSensitive/GRExprEngine.h
include/clang/Analysis/PathSensitive/GRTransferFuncs.h
include/clang/Analysis/PathSensitive/Store.h
lib/Analysis/GRExprEngine.cpp
lib/Analysis/GRSimpleVals.cpp
lib/Analysis/GRSimpleVals.h
lib/Analysis/RegionStore.cpp
test/Analysis/array-struct.c