Searched refs:stackFrame (Results 1 – 1 of 1) sorted by relevance
463 const StackFrameContext *stackFrame = in ProcessInitializer() local466 cast<CXXConstructorDecl>(stackFrame->getDecl()); in ProcessInitializer()469 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer()497 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer()504 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, in ProcessInitializer()509 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer()516 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()526 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()