reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
287 Optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>(); 291 ProgramStateRef State = C.getState(); 317 isSynthesizedAccessor(C.getStackFrame())) { 322 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); 329 if (isSynthesizedAccessor(C.getStackFrame())) { 330 C.addTransition(setRefBinding(State, Sym, PlusZero)); 335 C.addTransition(State);