Searched refs:stackFrame (Results 1 – 1 of 1) sorted by relevance
828 const auto *stackFrame = cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer() local829 const auto *decl = cast<CXXConstructorDecl>(stackFrame->getDecl()); in ProcessInitializer()832 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()866 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()874 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()879 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()882 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()893 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()