diff options
| author | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-03-16 10:44:49 +0000 |
|---|---|---|
| committer | Csaba Dabis <dabis.csaba98@gmail.com> | 2019-03-16 10:44:49 +0000 |
| commit | 17c8ca8f1ffe6a0f78ee312740913e344debde9b (patch) | |
| tree | 9363fec17d24ac0569991576f5d61b296e0839aa /clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp | |
| parent | e282b30c58e5d3387f86d7a78d5c5904950cc549 (diff) | |
| download | bcm5719-llvm-17c8ca8f1ffe6a0f78ee312740913e344debde9b.tar.gz bcm5719-llvm-17c8ca8f1ffe6a0f78ee312740913e344debde9b.zip | |
Revert "[analyzer] ConditionBRVisitor: Remove GDM checking"
This reverts commit f962485adad9d646511fd3240c0408d9554e6784.
llvm-svn: 356321
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp')
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp b/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp index c6ebc85812d..778f0f3016f 100644 --- a/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp +++ b/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp @@ -230,11 +230,6 @@ public: // Implementation for interface from ConstraintManager. //===------------------------------------------------------------------===// - bool haveEqualConstraints(ProgramStateRef S1, - ProgramStateRef S2) const override { - return S1->get<ConstraintRange>() == S2->get<ConstraintRange>(); - } - bool canReasonAbout(SVal X) const override; ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override; |
