Lines Matching full:auto
153 const auto *Func = dyn_cast_or_null<FunctionDecl>(Call.getDecl()); in checkPostCall()
158 const auto Op = Func->getOverloadedOperator(); in checkPostCall()
161 const auto *InstCall = cast<CXXInstanceCall>(&Call); in checkPostCall()
172 if (const auto *InstCall = dyn_cast<CXXInstanceCall>(&Call)) { in checkPostCall()
193 const auto *OrigExpr = Call.getOriginExpr(); in checkPostCall()
215 auto ContMap = State->get<ContainerMap>(); in checkLiveSymbols()
216 for (const auto &Cont : ContMap) { in checkLiveSymbols()
217 const auto CData = Cont.second; in checkLiveSymbols()
220 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols()
225 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols()
234 auto State = C.getState(); in checkDeadSymbols()
236 auto ContMap = State->get<ContainerMap>(); in checkDeadSymbols()
237 for (const auto &Cont : ContMap) { in checkDeadSymbols()
252 const auto *ContReg = Cont.getAsRegion(); in handleBegin()
260 auto State = C.getState(); in handleBegin()
261 auto BeginSym = getContainerBegin(State, ContReg); in handleBegin()
274 const auto *ContReg = Cont.getAsRegion(); in handleEnd()
282 auto State = C.getState(); in handleEnd()
283 auto EndSym = getContainerEnd(State, ContReg); in handleEnd()
296 const auto *ContReg = Cont.getAsRegion(); in handleAssignment()
304 auto State = C.getState(); in handleAssignment()
305 const auto CData = getContainerData(State, ContReg); in handleAssignment()
313 const auto *OldContReg = OldCont.getAsRegion(); in handleAssignment()
316 const auto OldCData = getContainerData(State, OldContReg); in handleAssignment()
318 if (const auto OldEndSym = OldCData->getEnd()) { in handleAssignment()
325 auto &SymMgr = C.getSymbolManager(); in handleAssignment()
326 auto &SVB = C.getSValBuilder(); in handleAssignment()
328 auto NewEndSym = in handleAssignment()
347 if (const auto OldBeginSym = OldCData->getBegin()) { in handleAssignment()
372 const auto *ContReg = Cont.getAsRegion(); in handleAssign()
379 auto State = C.getState(); in handleAssign()
386 const auto *ContReg = Cont.getAsRegion(); in handleClear()
394 auto State = C.getState(); in handleClear()
397 const auto CData = getContainerData(State, ContReg); in handleClear()
399 if (const auto EndSym = CData->getEnd()) { in handleClear()
415 const auto *ContReg = Cont.getAsRegion(); in handlePushBack()
422 auto State = C.getState(); in handlePushBack()
429 const auto CData = getContainerData(State, ContReg); in handlePushBack()
434 if (const auto EndSym = CData->getEnd()) { in handlePushBack()
438 auto &SymMgr = C.getSymbolManager(); in handlePushBack()
439 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
440 auto &SVB = C.getSValBuilder(); in handlePushBack()
441 const auto newEndSym = in handlePushBack()
455 const auto *ContReg = Cont.getAsRegion(); in handlePopBack()
461 auto State = C.getState(); in handlePopBack()
462 const auto CData = getContainerData(State, ContReg); in handlePopBack()
466 if (const auto EndSym = CData->getEnd()) { in handlePopBack()
467 auto &SymMgr = C.getSymbolManager(); in handlePopBack()
468 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
469 auto &SVB = C.getSValBuilder(); in handlePopBack()
470 const auto BackSym = in handlePopBack()
487 auto newEndSym = BackSym; in handlePopBack()
495 const auto *ContReg = Cont.getAsRegion(); in handlePushFront()
502 auto State = C.getState(); in handlePushFront()
507 const auto CData = getContainerData(State, ContReg); in handlePushFront()
511 if (const auto BeginSym = CData->getBegin()) { in handlePushFront()
512 auto &SymMgr = C.getSymbolManager(); in handlePushFront()
513 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
514 auto &SVB = C.getSValBuilder(); in handlePushFront()
515 const auto newBeginSym = in handlePushFront()
530 const auto *ContReg = Cont.getAsRegion(); in handlePopFront()
536 auto State = C.getState(); in handlePopFront()
537 const auto CData = getContainerData(State, ContReg); in handlePopFront()
543 if (const auto BeginSym = CData->getBegin()) { in handlePopFront()
549 auto &SymMgr = C.getSymbolManager(); in handlePopFront()
550 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
551 auto &SVB = C.getSValBuilder(); in handlePopFront()
552 const auto newBeginSym = in handlePopFront()
566 const auto *ContReg = Cont.getAsRegion(); in handleInsert()
572 auto State = C.getState(); in handleInsert()
573 const auto *Pos = getIteratorPosition(State, Iter); in handleInsert()
585 if (const auto *CData = getContainerData(State, ContReg)) { in handleInsert()
586 if (const auto EndSym = CData->getEnd()) { in handleInsert()
597 const auto *ContReg = Cont.getAsRegion(); in handleErase()
603 auto State = C.getState(); in handleErase()
604 const auto *Pos = getIteratorPosition(State, Iter); in handleErase()
617 if (const auto *CData = getContainerData(State, ContReg)) { in handleErase()
618 if (const auto EndSym = CData->getEnd()) { in handleErase()
631 const auto *ContReg = Cont.getAsRegion(); in handleErase()
636 auto State = C.getState(); in handleErase()
637 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleErase()
638 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleErase()
652 if (const auto *CData = getContainerData(State, ContReg)) { in handleErase()
653 if (const auto EndSym = CData->getEnd()) { in handleErase()
667 auto State = C.getState(); in handleEraseAfter()
668 const auto *Pos = getIteratorPosition(State, Iter); in handleEraseAfter()
674 auto &SymMgr = C.getSymbolManager(); in handleEraseAfter()
675 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
676 auto &SVB = C.getSValBuilder(); in handleEraseAfter()
677 const auto NextSym = in handleEraseAfter()
688 auto State = C.getState(); in handleEraseAfter()
689 const auto *Pos1 = getIteratorPosition(State, Iter1); in handleEraseAfter()
690 const auto *Pos2 = getIteratorPosition(State, Iter2); in handleEraseAfter()
706 if (const auto *DR = dyn_cast<DeclRegion>(ContReg)) { in getChangeTag()
709 } else if (const auto *DRE = in getChangeTag()
729 auto ContMap = State->get<ContainerMap>(); in printState()
733 for (const auto &Cont : ContMap) { in printState()
736 const auto CData = Cont.second; in printState()
754 const auto *IdInfo = Func->getIdentifier(); in isBeginCall()
761 const auto *IdInfo = Func->getIdentifier(); in isEndCall()
769 auto TI = getDynamicTypeInfo(State, Reg); in getCXXRecordDecl()
773 auto Type = TI.getType(); in getCXXRecordDecl()
774 if (const auto *RefT = Type->getAs<ReferenceType>()) { in getCXXRecordDecl()
778 if (const auto *PtrT = Type->getAs<PointerType>()) { in getCXXRecordDecl()
786 const auto *CRD = getCXXRecordDecl(State, Reg); in hasSubscriptOperator()
790 for (const auto *Method : CRD->methods()) { in hasSubscriptOperator()
793 const auto OPK = Method->getOverloadedOperator(); in hasSubscriptOperator()
802 const auto *CRD = getCXXRecordDecl(State, Reg); in frontModifiable()
806 for (const auto *Method : CRD->methods()) { in frontModifiable()
817 const auto *CRD = getCXXRecordDecl(State, Reg); in backModifiable()
821 for (const auto *Method : CRD->methods()) { in backModifiable()
832 const auto *CDataPtr = getContainerData(State, Cont); in getContainerBegin()
840 const auto *CDataPtr = getContainerData(State, Cont); in getContainerEnd()
852 const auto *CDataPtr = getContainerData(State, Cont); in createContainerBegin()
856 auto &SymMgr = State->getSymbolManager(); in createContainerBegin()
862 const auto CData = CDataPtr->newBegin(Sym); in createContainerBegin()
866 const auto CData = ContainerData::fromBegin(Sym); in createContainerBegin()
875 const auto *CDataPtr = getContainerData(State, Cont); in createContainerEnd()
879 auto &SymMgr = State->getSymbolManager(); in createContainerEnd()
885 const auto CData = CDataPtr->newEnd(Sym); in createContainerEnd()
889 const auto CData = ContainerData::fromEnd(Sym); in createContainerEnd()
901 auto &RegionMapFactory = State->get_context<IteratorRegionMap>(); in processIteratorPositions()
902 auto RegionMap = State->get<IteratorRegionMap>(); in processIteratorPositions()
904 for (const auto &Reg : RegionMap) { in processIteratorPositions()
914 auto &SymbolMapFactory = State->get_context<IteratorSymbolMap>(); in processIteratorPositions()
915 auto SymbolMap = State->get<IteratorSymbolMap>(); in processIteratorPositions()
917 for (const auto &Sym : SymbolMap) { in processIteratorPositions()
932 auto MatchCont = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
935 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositions()
945 auto MatchContAndCompare = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
949 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateAllIteratorPositionsExcept()
958 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
961 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
972 auto Compare = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
976 auto Invalidate = [&](const IteratorPosition &Pos) { in invalidateIteratorPositions()
985 auto MatchCont = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
988 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositions()
999 auto MatchContAndCompare = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositionsUnless()
1003 auto ReAssign = [&](const IteratorPosition &Pos) { in reassignAllIteratorPositionsUnless()
1015 auto LessThanEnd = [&](const IteratorPosition &Pos) { in rebaseSymbolInIteratorPositionsIf()
1018 auto RebaseSymbol = [&](const IteratorPosition &Pos) { in rebaseSymbolInIteratorPositionsIf()
1031 auto &SymMgr = SVB.getSymbolManager(); in rebaseSymbol()
1032 auto Diff = SVB.evalBinOpNN(State, BO_Sub, nonloc::SymbolVal(OrigExpr), in rebaseSymbol()
1036 const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>(); in rebaseSymbol()
1045 auto RegionMap = State->get<IteratorRegionMap>(); in hasLiveIterators()
1046 for (const auto &Reg : RegionMap) { in hasLiveIterators()
1051 auto SymbolMap = State->get<IteratorSymbolMap>(); in hasLiveIterators()
1052 for (const auto &Sym : SymbolMap) { in hasLiveIterators()