From bfef399519ca9b8a4b4c6b563253bad7e0eeffe0 Mon Sep 17 00:00:00 2001 From: Dimitry Andric Date: Sun, 22 Dec 2013 00:07:40 +0000 Subject: Vendor import of clang release_34 branch r197841 (effectively, 3.4 RC3): https://llvm.org/svn/llvm-project/cfe/branches/release_34@197841 --- lib/StaticAnalyzer/Core/SimpleConstraintManager.h | 6 ------ 1 file changed, 6 deletions(-) (limited to 'lib/StaticAnalyzer/Core/SimpleConstraintManager.h') diff --git a/lib/StaticAnalyzer/Core/SimpleConstraintManager.h b/lib/StaticAnalyzer/Core/SimpleConstraintManager.h index 10ddef1341c5f..28a9a4ded9dec 100644 --- a/lib/StaticAnalyzer/Core/SimpleConstraintManager.h +++ b/lib/StaticAnalyzer/Core/SimpleConstraintManager.h @@ -36,8 +36,6 @@ public: ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond, bool Assumption); - ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption); - ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption); ProgramStateRef assumeSymRel(ProgramStateRef state, @@ -86,10 +84,6 @@ protected: bool canReasonAbout(SVal X) const; - ProgramStateRef assumeAux(ProgramStateRef state, - Loc Cond, - bool Assumption); - ProgramStateRef assumeAux(ProgramStateRef state, NonLoc Cond, bool Assumption); -- cgit v1.2.3