Home
last modified time | relevance | path

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

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DSetgidSetuidOrderChecker.cpp125 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in processSetuid() local
127 State = State->set<LastSetuidCallSVal>(RetSym); in processSetuid()
129 RetSym](PathSensitiveBugReport &BR) { in processSetuid()
130 if (!BR.isInteresting(RetSym) || &BR.getBugType() != &this->BT) in processSetuid()
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.cpp898 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen() local
899 assert(RetSym && "RetVal must be a symbol here."); in evalFopen()
910 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
912 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()
915 constructLeakNoteTag(C, RetSym, "Stream opened here")); in evalFopen()
H A DMallocChecker.cpp2882 for (auto [Sym, RetSym] : FR) { in checkDeadSymbols()
2883 if (SymReaper.isDead(Sym) || SymReaper.isDead(RetSym)) { in checkDeadSymbols()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp336 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage() local
337 if (RetSym == Sym) { in getMessage()