1 //== SimpleConstraintManager.h ----------------------------------*- C++ -*--==// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // Code shared between BasicConstraintManager and RangeConstraintManager. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #ifndef LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H 15 #define LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H 16 17 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h" 18 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h" 19 20 namespace clang { 21 22 namespace ento { 23 24 class SimpleConstraintManager : public ConstraintManager { 25 SubEngine &SU; 26 public: 27 SimpleConstraintManager(SubEngine &subengine) : SU(subengine) {} 28 virtual ~SimpleConstraintManager(); 29 30 //===------------------------------------------------------------------===// 31 // Common implementation for the interface provided by ConstraintManager. 32 //===------------------------------------------------------------------===// 33 34 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond, 35 bool Assumption); 36 37 ProgramStateRef assume(ProgramStateRef state, Loc Cond, bool Assumption); 38 39 ProgramStateRef assume(ProgramStateRef state, NonLoc Cond, bool Assumption); 40 41 ProgramStateRef assumeSymRel(ProgramStateRef state, 42 const SymExpr *LHS, 43 BinaryOperator::Opcode op, 44 const llvm::APSInt& Int); 45 46 protected: 47 48 //===------------------------------------------------------------------===// 49 // Interface that subclasses must implement. 50 //===------------------------------------------------------------------===// 51 52 // Each of these is of the form "$sym+Adj <> V", where "<>" is the comparison 53 // operation for the method being invoked. 54 virtual ProgramStateRef assumeSymNE(ProgramStateRef state, SymbolRef sym, 55 const llvm::APSInt& V, 56 const llvm::APSInt& Adjustment) = 0; 57 58 virtual ProgramStateRef assumeSymEQ(ProgramStateRef state, SymbolRef sym, 59 const llvm::APSInt& V, 60 const llvm::APSInt& Adjustment) = 0; 61 62 virtual ProgramStateRef assumeSymLT(ProgramStateRef state, SymbolRef sym, 63 const llvm::APSInt& V, 64 const llvm::APSInt& Adjustment) = 0; 65 66 virtual ProgramStateRef assumeSymGT(ProgramStateRef state, SymbolRef sym, 67 const llvm::APSInt& V, 68 const llvm::APSInt& Adjustment) = 0; 69 70 virtual ProgramStateRef assumeSymLE(ProgramStateRef state, SymbolRef sym, 71 const llvm::APSInt& V, 72 const llvm::APSInt& Adjustment) = 0; 73 74 virtual ProgramStateRef assumeSymGE(ProgramStateRef state, SymbolRef sym, 75 const llvm::APSInt& V, 76 const llvm::APSInt& Adjustment) = 0; 77 78 //===------------------------------------------------------------------===// 79 // Internal implementation. 80 //===------------------------------------------------------------------===// 81 82 bool canReasonAbout(SVal X) const; 83 84 ProgramStateRef assumeAux(ProgramStateRef state, 85 Loc Cond, 86 bool Assumption); 87 88 ProgramStateRef assumeAux(ProgramStateRef state, 89 NonLoc Cond, 90 bool Assumption); 91 92 ProgramStateRef assumeAuxForSymbol(ProgramStateRef State, 93 SymbolRef Sym, 94 bool Assumption); 95 }; 96 97 } // end GR namespace 98 99 } // end clang namespace 100 101 #endif 102