Searched refs:makeLoc (Results 1 – 9 of 9) sorted by relevance
356 loc::MemRegionVal makeLoc(SymbolRef sym) { in makeLoc() function360 loc::MemRegionVal makeLoc(const MemRegion *region) { in makeLoc() function364 loc::GotoLabel makeLoc(const AddrLabelExpr *expr) { in makeLoc() function368 loc::ConcreteInt makeLoc(const llvm::APSInt &integer) { in makeLoc() function381 return makeLoc(Sym); in makeSymbolVal()
136 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); in checkBeginFunction()
1172 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), in memsetAux()
329 return makeLoc(cast<AddrLabelExpr>(E)); in getConstantVal()337 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()342 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()350 return makeLoc(getRegionManager().getStringRegion(PE->getFunctionName())); in getConstantVal()
71 V = svalBuilder.makeLoc(Sym); in populateObjCForDestinationSet()
491 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()1369 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
496 return evalBinOpLL(state, op, lhsL, makeLoc(i), resultTy); in evalBinOpNN()1286 LHS = SVB.makeLoc(Sym); in simplifySValOnce()
155 return SVB.makeLoc(BaseReg); in computeObjectUnderConstruction()