reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2104 ProgramStateRef State = C.getState(); 2106 const LocationContext *LCtx = C.getLocationContext(); 2116 State = InvalidateBuffer(C, State, Dst, DstVal, /*IsSource=*/false, 2119 SValBuilder &SVB = C.getSValBuilder(); 2121 SVal ResultVal = SVB.conjureSymbolVal(nullptr, CE, LCtx, C.blockCount()); 2124 C.addTransition(State);