1 //== SimpleConstraintManager.h ----------------------------------*- C++ -*--==//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Code shared between BasicConstraintManager and RangeConstraintManager.
12 //===----------------------------------------------------------------------===//
14 #ifndef LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H
15 #define LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H
17 #include "clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h"
18 #include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
24 class SimpleConstraintManager : public ConstraintManager {
27 SimpleConstraintManager(SubEngine &subengine) : SU(subengine) {}
28 virtual ~SimpleConstraintManager();
30 //===------------------------------------------------------------------===//
31 // Common implementation for the interface provided by ConstraintManager.
32 //===------------------------------------------------------------------===//
34 bool canReasonAbout(SVal X) const;
36 const ProgramState *assume(const ProgramState *state, DefinedSVal Cond,
39 const ProgramState *assume(const ProgramState *state, Loc Cond, bool Assumption);
41 const ProgramState *assume(const ProgramState *state, NonLoc Cond, bool Assumption);
43 const ProgramState *assumeSymRel(const ProgramState *state,
45 BinaryOperator::Opcode op,
46 const llvm::APSInt& Int);
50 //===------------------------------------------------------------------===//
51 // Interface that subclasses must implement.
52 //===------------------------------------------------------------------===//
54 // Each of these is of the form "$sym+Adj <> V", where "<>" is the comparison
55 // operation for the method being invoked.
56 virtual const ProgramState *assumeSymNE(const ProgramState *state, SymbolRef sym,
57 const llvm::APSInt& V,
58 const llvm::APSInt& Adjustment) = 0;
60 virtual const ProgramState *assumeSymEQ(const ProgramState *state, SymbolRef sym,
61 const llvm::APSInt& V,
62 const llvm::APSInt& Adjustment) = 0;
64 virtual const ProgramState *assumeSymLT(const ProgramState *state, SymbolRef sym,
65 const llvm::APSInt& V,
66 const llvm::APSInt& Adjustment) = 0;
68 virtual const ProgramState *assumeSymGT(const ProgramState *state, SymbolRef sym,
69 const llvm::APSInt& V,
70 const llvm::APSInt& Adjustment) = 0;
72 virtual const ProgramState *assumeSymLE(const ProgramState *state, SymbolRef sym,
73 const llvm::APSInt& V,
74 const llvm::APSInt& Adjustment) = 0;
76 virtual const ProgramState *assumeSymGE(const ProgramState *state, SymbolRef sym,
77 const llvm::APSInt& V,
78 const llvm::APSInt& Adjustment) = 0;
80 //===------------------------------------------------------------------===//
81 // Internal implementation.
82 //===------------------------------------------------------------------===//
84 const ProgramState *assumeAux(const ProgramState *state, Loc Cond,bool Assumption);
86 const ProgramState *assumeAux(const ProgramState *state, NonLoc Cond, bool Assumption);
91 } // end clang namespace