reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
166 const auto *LCtx = C.getLocationContext(); 171 ProgramStateRef State = C.getState(); 172 auto &SVB = C.getSValBuilder(); 184 C.addTransition(State); 198 C.addTransition(State);