Cross Reference: /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

Lines Matching defs:RetVal

182   DefinedSVal RetVal = makeRetVal(C, CE);
183   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
184   State = State->assume(RetVal, true);
449   DefinedSVal RetVal = makeRetVal(C, CE);
450   SymbolRef RetSym = RetVal.getAsSymbol();
451   assert(RetSym && "RetVal must be a symbol here.");
453   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
459       C.getConstraintManager().assumeDual(State, RetVal);
642   Optional<NonLoc> RetVal = makeRetVal(C, CE).castAs<NonLoc>();
643   assert(RetVal && "Value should be NonLoc.");
645       State->BindExpr(CE, C.getLocationContext(), *RetVal);
649                   .evalBinOpNN(State, BO_LT, *RetVal, *NMembVal,
702   DefinedSVal RetVal = makeRetVal(C, CE);
705   State = State->BindExpr(CE, C.getLocationContext(), RetVal);
711       C.getConstraintManager().assumeDual(State, RetVal);

OpenGrok