reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
891 ProgramStateRef state = C.getState(); 900 RetainSummaryManager &SmrMgr = getSummaryManager(C); 907 const LocationContext *LCtx = C.getLocationContext(); 934 SValBuilder &SVB = C.getSValBuilder(); 936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); 944 ProgramStateRef NullOutputState = C.getState(); 948 CE, LCtx, C.getSValBuilder().makeNull(), /*Invalidate=*/false); 949 C.addTransition(NullOutputState, &CastFailTag); 959 C.addTransition(state);