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 | 32a58084a4c53e6938dd81bfce224db25a5976d1 (patch) | |
| tree | b87110336d229ca6e376bb3f9809e71297b02c2c /lib/Frontend/PrintParserCallbacks.cpp | |
| parent | 51313c39c84407dd6a323be99a8c322bf8d052a9 (diff) | |
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.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@92549 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Frontend/PrintParserCallbacks.cpp')
0 files changed, 0 insertions, 0 deletions