Skip to content
Commit a7907608 authored by Zhongxing Xu's avatar Zhongxing Xu
Browse files

* 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.

llvm-svn: 72164
parent 9030c35e
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment