reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
273 SelfFlagEnum prevFlags = (SelfFlagEnum)state->get<PreCallSelfFlags>(); 276 state = state->remove<PreCallSelfFlags>(); 276 state = state->remove<PreCallSelfFlags>(); 285 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); 285 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); 292 addSelfFlag(state, CE.getReturnValue(), prevFlags, C); 297 C.addTransition(state);