Lines Matching defs:SVB

236   SValBuilder &SVB = State->getStateManager().getSValBuilder();
237   BasicValueFactory &BV = SVB.getBasicValueFactory();
238   SVal Result = SVB.evalBinOpNN(State, Rel, nonloc::SymbolVal(Sym),
240                                 SVB.getConditionType());
254   SValBuilder &SVB = State->getStateManager().getSValBuilder();
255   BasicValueFactory &BV = SVB.getBasicValueFactory();
297   SValBuilder &SVB = State->getStateManager().getSValBuilder();
298   BasicValueFactory &BV = SVB.getBasicValueFactory();
299   SymbolManager &SymMgr = SVB.getSymbolManager();
311     ResultTy = SVB.getConditionType();
318     return SVB
372   SValBuilder &SVB = StateMgr.getSValBuilder();
380   if (!SVB.getAnalyzerOptions().ShouldAggressivelySimplifyBinaryOperation)
389     if (ResultTy != SVB.getConditionType())
727                                             SimpleSValBuilder &SVB) {
750     return SVB.makeTruthVal(false, resultTy);
752     return SVB.makeTruthVal(true, resultTy);
761       return SVB.makeTruthVal(leftFirst, resultTy);
763       return SVB.makeTruthVal(!leftFirst, resultTy);
1272     SValBuilder &SVB;
1290       return cache(Sym, SVB.makeSymbolVal(Sym));
1299         return Loc::isLocType(Sym->getType()) ? (SVal)SVB.makeIntLocVal(*Const)
1300                                               : (SVal)SVB.makeIntVal(*Const);
1313         : State(State), SVB(State->getStateManager().getSValBuilder()) {}
1319         return Loc::isLocType(S->getType()) ? (SVal)SVB.makeIntLocVal(*I)
1320                                             : (SVal)SVB.makeIntVal(*I);
1321       return SVB.makeSymbolVal(S);
1345           LHS = SVB.makeLoc(Sym);
1347         RHS = SVB.makeIntLocVal(S->getRHS());
1349         RHS = SVB.makeIntVal(S->getRHS());
1353           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1365       SVal LHS = SVB.makeIntVal(S->getLHS());
1367           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1390           S, SVB.evalBinOp(State, S->getOpcode(), LHS, RHS, S->getType()));
1402       return cache(S, SVB.evalCast(OpVal, S->getType(), OpSym->getType()));
1414           S, SVB.evalUnaryOp(State, S->getOpcode(), Op, S->getType()));