Home
last modified time | relevance | path

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

/freebsd/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 DDynamicTypePropagation.cpp909 SymbolRef RetSym = M.getReturnValue().getAsSymbol(); in checkPostObjCMessage() local
910 if (!RetSym) in checkPostObjCMessage()
931 State = State->set<MostSpecializedTypeArgsMap>(RetSym, InferredType); in checkPostObjCMessage()
935 State = setClassObjectDynamicTypeInfo(State, RetSym, ReceiverClassType, in checkPostObjCMessage()
959 State, RetSym, ReceiversSuperClass, !ReceiverRuntimeType.Precise); in checkPostObjCMessage()
1015 if (!State->get<MostSpecializedTypeArgsMap>(RetSym)) { in checkPostObjCMessage()
1016 State = State->set<MostSpecializedTypeArgsMap>(RetSym, ResultPtrType); in checkPostObjCMessage()
H A DStreamChecker.cpp935 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen() local
936 assert(RetSym && "RetVal must be a symbol here."); in evalFopen()
947 StateNotNull->set<StreamMap>(RetSym, StreamState::getOpened(Desc)); in evalFopen()
949 StateNull->set<StreamMap>(RetSym, StreamState::getOpenFailed(Desc)); in evalFopen()
954 constructLeakNoteTag(C, RetSym, "Stream opened here")); in evalFopen()
H A DMallocChecker.cpp3054 for (auto [Sym, RetSym] : FR) { in checkDeadSymbols()
3055 if (SymReaper.isDead(Sym) || SymReaper.isDead(RetSym)) { in checkDeadSymbols()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DBugReporter.cpp357 SymbolRef RetSym = SV.getAsLocSymbol(); in getMessage() local
358 if (RetSym == Sym) { in getMessage()