reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
868 InitVal = State->getSVal(*LValueLoc); 871 if (InitVal.isUnknownOrUndef()) { 873 InitVal = SVB.conjureSymbolVal(BMI->getInit(), stackFrame, 878 InitVal = State->getSVal(BMI->getInit(), stackFrame); 882 evalBind(Tmp, Init, Pred, FieldLoc, InitVal, /*isInit=*/true, &PP);