reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
926 SVal RetVal = state->getSVal(BindReturnTo, LCtx); 940 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); 940 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); 954 state = state->assume(*L, /*assumption=*/true); 954 state = state->assume(*L, /*assumption=*/true); 959 C.addTransition(state);