Searched refs:makeLoc (Results 1 – 6 of 6) sorted by relevance
377 loc::MemRegionVal makeLoc(SymbolRef sym) { in makeLoc() function381 loc::MemRegionVal makeLoc(const MemRegion *region) { in makeLoc() function385 loc::GotoLabel makeLoc(const AddrLabelExpr *expr) { in makeLoc() function389 loc::ConcreteInt makeLoc(const llvm::APSInt &integer) { in makeLoc() function402 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()
1395 State = State->bindDefaultZero(svalBuilder.makeLoc(BR), in memsetAux()
494 Loc ParamLoc = SVB.makeLoc( in addParameterValuesToBindings()1397 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
156 return SVB.makeLoc(BaseReg); in computeObjectUnderConstruction()