reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
318 ProgramStateRef State = C.getState(); 319 const LocationContext *LCtx = C.getLocationContext(); 326 emitBadCall(BT_call_undef.get(), C, Callee); 337 emitBadCall(BT_call_null.get(), C, Callee); 341 C.addTransition(StNonNull);