diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2012-10-31 16:44:55 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2012-10-31 16:44:55 +0000 |
| commit | 417591fba78efd32c2ae26fc9f57c6611a24754e (patch) | |
| tree | 7d6cac2f0a9843f5e4c6ddd801082a4f912bf4bd /clang/lib/Frontend/CompilerInstance.cpp | |
| parent | 70f4e794b5871be161a832a324063cce1ed18053 (diff) | |
| download | llvm-417591fba78efd32c2ae26fc9f57c6611a24754e.zip llvm-417591fba78efd32c2ae26fc9f57c6611a24754e.tar.gz llvm-417591fba78efd32c2ae26fc9f57c6611a24754e.tar.bz2 | |
[analyzer] Let ConstraintManager subclasses provide a more efficient checkNull.
Previously, every call to a ConstraintManager's isNull would do a full
assumeDual to test feasibility. Now, ConstraintManagers can override
checkNull if they have a cheaper way to do the same thing.
RangeConstraintManager can do this in less than half the work.
<rdar://problem/12608209>
llvm-svn: 167138
Diffstat (limited to 'clang/lib/Frontend/CompilerInstance.cpp')
0 files changed, 0 insertions, 0 deletions