HomeSort by relevance Sort by last modified time
    Searched refs:getBasicVals (Results 1 - 9 of 9) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
SimpleConstraintManager.cpp 75 BasicValueFactory &BasicVals = state->getBasicVals();
142 const llvm::APSInt &zero = State->getBasicVals().getValue(0, T);
161 BasicValueFactory &BasicVals = state->getBasicVals();
RangeConstraintManager.cpp 292 BasicValueFactory& BV = state->getBasicVals();
312 BasicValueFactory &BV = state->getBasicVals();
330 BasicValueFactory &BV = state->getBasicVals();
340 BasicValueFactory &BV = state->getBasicVals();
361 BasicValueFactory &BV = state->getBasicVals();
382 BasicValueFactory &BV = state->getBasicVals();
404 BasicValueFactory &BV = state->getBasicVals();
BasicConstraintManager.cpp 260 return state->set<ConstEq>(sym, &state->getBasicVals().getValue(V));
272 S = ISetFactory.add(S, &state->getBasicVals().getValue(V));
292 return T ? T->contains(&state->getBasicVals().getValue(V)) : false;
ExprEngineC.cpp 501 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList();
513 vals = getBasicVals().consVals(state->getSVal(cast<Expr>(*it), LCtx),
710 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
ProgramState.cpp 253 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int);
ExprEngine.cpp     [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 238 BasicValueFactory& getBasicVals() {
239 return StateMgr.getBasicVals();
241 const BasicValueFactory& getBasicVals() const {
242 return StateMgr.getBasicVals();
ProgramState.h 138 BasicValueFactory &getBasicVals() const;
456 BasicValueFactory &getBasicVals() {
459 const BasicValueFactory& getBasicVals() const {
691 inline BasicValueFactory &ProgramState::getBasicVals() const {
692 return getStateManager().getBasicVals();
SymbolManager.h 553 BasicValueFactory &getBasicVals() { return BV; }

Completed in 152 milliseconds