reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
926 SVal RetVal = state->getSVal(BindReturnTo, LCtx); 936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); 940 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); 948 CE, LCtx, C.getSValBuilder().makeNull(), /*Invalidate=*/false);