Searched refs:makeLoc (Results 1 – 9 of 9) sorted by relevance
363 loc::MemRegionVal makeLoc(SymbolRef sym) { in makeLoc() function367 loc::MemRegionVal makeLoc(const MemRegion *region) { in makeLoc() function371 loc::GotoLabel makeLoc(const AddrLabelExpr *expr) { in makeLoc() function375 loc::ConcreteInt makeLoc(const llvm::APSInt &integer) { in makeLoc() function388 return makeLoc(Sym); in makeSymbolVal()
144 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
1401 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), in memsetAux()
335 return makeLoc(cast<AddrLabelExpr>(E)); in getConstantVal()343 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()348 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()356 return makeLoc(getRegionManager().getStringRegion(PE->getFunctionName())); in getConstantVal()
71 V = svalBuilder.makeLoc(Sym); in populateObjCForDestinationSet()
493 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()1417 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
512 return evalBinOpLL(state, op, lhsL, makeLoc(i), resultTy); in evalBinOpNN()1345 LHS = SVB.makeLoc(Sym); in simplifySValOnce()
166 return SVB.makeLoc(BaseReg); in computeObjectUnderConstruction()