Searched refs:stackFrame (Results 1 – 1 of 1) sorted by relevance
777 const auto *stackFrame = cast<StackFrameContext>(Pred->getLocationContext()); in ProcessInitializer() local778 const auto *decl = cast<CXXConstructorDecl>(stackFrame->getDecl()); in ProcessInitializer()781 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()815 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()823 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()828 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()831 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()842 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()