reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); 309 ConstraintManager &CMgr = State->getConstraintManager(); 310 if (CMgr.isNull(State, Sym).isConstrainedTrue()) 313 if (const RefVal *RV = getRefBinding(State, Sym)) { 322 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); 330 C.addTransition(setRefBinding(State, Sym, PlusZero)); 334 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); 334 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); 335 C.addTransition(State);