diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-16 04:49:44 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-16 04:49:44 +0000 |
| commit | 731f46264f7f8b79a79765e467ec518f49b549b8 (patch) | |
| tree | 564ba3a665f481af469d80d0eda6fb94b5ba2a43 /llvm/lib/Transforms/Utils/BasicBlockUtils.cpp | |
| parent | 5bf807688e07ff84788aa2cc6f511121b7cfb5ac (diff) | |
| download | bcm5719-llvm-731f46264f7f8b79a79765e467ec518f49b549b8.tar.gz bcm5719-llvm-731f46264f7f8b79a79765e467ec518f49b549b8.zip | |
* 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.
llvm-svn: 88888
Diffstat (limited to 'llvm/lib/Transforms/Utils/BasicBlockUtils.cpp')
0 files changed, 0 insertions, 0 deletions
