diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-01-05 00:15:18 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-01-05 00:15:18 +0000 |
| commit | de8e7447b6498294ec598f919f739be519c62716 (patch) | |
| tree | 3c39e23566476fe0cb006e21bc13b92bd17517d3 /llvm/lib/Transforms | |
| parent | 646aacb097c27e86c754be5329e9c799f4d87067 (diff) | |
| download | bcm5719-llvm-de8e7447b6498294ec598f919f739be519c62716.tar.gz bcm5719-llvm-de8e7447b6498294ec598f919f739be519c62716.zip | |
Remove references to 'Checker' and 'GRTransferFuncs' from
GRStateManager. Having these references was an abstraction violation,
as they really should only be known about GRExprEngine.
This change required adding a new 'ProcessAssume' callback in
GRSubEngine. GRExprEngine implements this callback by calling
'EvalAssume' on all registered Checker objects as well as the
registered GRTransferFunc object.
llvm-svn: 92549
Diffstat (limited to 'llvm/lib/Transforms')
0 files changed, 0 insertions, 0 deletions
