reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
883 if (!State) 888 return State; 898 ElementLoc = State->getLValue(ElemDecl, LCtx); 900 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); 904 return State; 907 SVal Val = State->getSVal(*ElementLoc); 908 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true);