Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DStreamChecker.cpp683 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue() function
689 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue() function
990 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFclose()
991 C.addTransition(E.bindReturnValue(State, C, *EofVal)); in evalFclose()
1134 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFreadFwrite()
1229 StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFgetx()
1281 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFputx()
1369 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFscanf()
1388 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc()
1399 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalUngetc()
[all …]
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCallAndReturn.cpp740 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue() function in ExprEngine
834 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall()
H A DExprEngineCXX.cpp95 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h693 ProgramStateRef bindReturnValue(const CallEvent &Call,