reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
187 getOriginParam(Call.getArgSVal(0), C, /*IncludeBaseRegions=*/true)) { 190 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); 190 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); 195 if (!isInMIGCall(C)) 205 ProgramStateRef State = C.getState(); 208 const ParmVarDecl *PVD = getOriginParam(Arg, C); 212 const NoteTag *T = C.getNoteTag([this, PVD](BugReport &BR) -> std::string { 221 C.addTransition(State->set<ReleasedParameter>(true), T);