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