Home
last modified time | relevance | path

Searched refs:RetSym (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DFuchsiaHandleChecker.cpp380 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall() local
381 Notes.push_back([RetSym, FuncDecl](BugReport &BR) -> std::string { in checkPostCall()
383 if (auto IsInteresting = PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()
393 State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr)); in checkPostCall()
396 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall() local
397 Notes.push_back([RetSym, FuncDecl](BugReport &BR) -> std::string { in checkPostCall()
399 if (auto IsInteresting = PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()
408 State = State->set<HStateMap>(RetSym, HandleState::getUnowned()); in checkPostCall()
H A DDynamicTypePropagation.cpp908 SymbolRef RetSym = M.getReturnValue().getAsSymbol(); in checkPostObjCMessage() local
909 if (!RetSym) in checkPostObjCMessage()
930 State = State->set<MostSpecializedTypeArgsMap>(RetSym, InferredType); in checkPostObjCMessage()
934 State = setClassObjectDynamicTypeInfo(State, RetSym, ReceiverClassType, in checkPostObjCMessage()
958 State, RetSym, ReceiversSuperClass, !ReceiverRuntimeType.Precise); in checkPostObjCMessage()
1014 if (!State->get<MostSpecializedTypeArgsMap>(RetSym)) { in checkPostObjCMessage()
1015 State = State->set<MostSpecializedTypeArgsMap>(RetSym, ResultPtrType); in checkPostObjCMessage()
H A DStreamChecker.cpp487 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen() local
488 assert(RetSym && "RetVal must be a symbol here."); in evalFopen()
499 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
501 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()
504 constructNoteTag(C, RetSym, "Stream opened here")); in evalFopen()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp326 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage() local
327 if (RetSym == Sym) { in getMessage()