Home
last modified time | relevance | path

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

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DFuchsiaHandleChecker.cpp381 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall() local
382 Notes.push_back([RetSym, FuncDecl](BugReport &BR) -> std::string { in checkPostCall()
384 if (PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()
394 State->set<HStateMap>(RetSym, HandleState::getMaybeAllocated(nullptr)); in checkPostCall()
397 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall() local
398 Notes.push_back([RetSym, FuncDecl](BugReport &BR) -> std::string { in checkPostCall()
400 if (PathBR->getInterestingnessKind(RetSym)) { in checkPostCall()
409 State = State->set<HStateMap>(RetSym, HandleState::getUnowned()); in checkPostCall()
H A DDynamicTypePropagation.cpp907 SymbolRef RetSym = M.getReturnValue().getAsSymbol(); in checkPostObjCMessage() local
908 if (!RetSym) in checkPostObjCMessage()
929 State = State->set<MostSpecializedTypeArgsMap>(RetSym, InferredType); in checkPostObjCMessage()
933 State = setClassObjectDynamicTypeInfo(State, RetSym, ReceiverClassType, in checkPostObjCMessage()
957 State, RetSym, ReceiversSuperClass, !ReceiverRuntimeType.Precise); in checkPostObjCMessage()
1013 if (!State->get<MostSpecializedTypeArgsMap>(RetSym)) { in checkPostObjCMessage()
1014 State = State->set<MostSpecializedTypeArgsMap>(RetSym, ResultPtrType); in checkPostObjCMessage()
H A DStreamChecker.cpp582 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen() local
583 assert(RetSym && "RetVal must be a symbol here."); in evalFopen()
594 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
596 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()
599 constructNoteTag(C, RetSym, "Stream opened here")); in evalFopen()
H A DMallocChecker.cpp2834 for (auto [Sym, RetSym] : FR) { in checkDeadSymbols()
2835 if (SymReaper.isDead(Sym) || SymReaper.isDead(RetSym)) { in checkDeadSymbols()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp326 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage() local
327 if (RetSym == Sym) { in getMessage()