Searched refs:ElementLoc (Results 1 – 1 of 1) sorted by relevance
895 std::optional<Loc> ElementLoc; in checkElementNonNil() local899 ElementLoc = State->getLValue(ElemDecl, LCtx); in checkElementNonNil()901 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil()904 if (!ElementLoc) in checkElementNonNil()908 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil()