Home
last modified time | relevance | path

Searched refs:getBasicVals (Results 1 – 9 of 9) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp292 BasicValueFactory& BV = state->getBasicVals(); in GetRange()
312 BasicValueFactory &BV = state->getBasicVals(); in assumeSymNE()
330 BasicValueFactory &BV = state->getBasicVals(); in assumeSymEQ()
340 BasicValueFactory &BV = state->getBasicVals(); in assumeSymLT()
361 BasicValueFactory &BV = state->getBasicVals(); in assumeSymGT()
382 BasicValueFactory &BV = state->getBasicVals(); in assumeSymGE()
404 BasicValueFactory &BV = state->getBasicVals(); in assumeSymLE()
DSimpleConstraintManager.cpp75 BasicValueFactory &BasicVals = state->getBasicVals(); in assumeAux()
142 const llvm::APSInt &zero = State->getBasicVals().getValue(0, T); in assumeAuxForSymbol()
161 BasicValueFactory &BasicVals = state->getBasicVals(); in assumeAux()
DBasicConstraintManager.cpp260 return state->set<ConstEq>(sym, &state->getBasicVals().getValue(V)); in AddEQ()
272 S = ISetFactory.add(S, &state->getBasicVals().getValue(V)); in AddNE()
292 return T ? T->contains(&state->getBasicVals().getValue(V)) : false; in isNotEqual()
DExprEngineC.cpp501 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()
513 vals = getBasicVals().consVals(state->getSVal(cast<Expr>(*it), LCtx), in VisitInitListExpr()
710 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
DProgramState.cpp253 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
DExprEngine.cpp1365 nonloc::ConcreteInt CaseVal(getBasicVals().getValue(V1)); in processSwitch()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h238 BasicValueFactory& getBasicVals() { in getBasicVals() function
239 return StateMgr.getBasicVals(); in getBasicVals()
241 const BasicValueFactory& getBasicVals() const { in getBasicVals() function
242 return StateMgr.getBasicVals(); in getBasicVals()
DProgramState.h138 BasicValueFactory &getBasicVals() const;
456 BasicValueFactory &getBasicVals() { in getBasicVals() function
459 const BasicValueFactory& getBasicVals() const { in getBasicVals() function
691 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
692 return getStateManager().getBasicVals(); in getBasicVals()
DSymbolManager.h553 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function