Searched refs:bindReturnValue (Results 1 – 4 of 4) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 690 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue() function
696 ProgramStateRef bindReturnValue(ProgramStateRef State, CheckerContext &C, in bindReturnValue() function
1029 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFclose()
1030 C.addTransition(E.bindReturnValue(State, C, *EofVal)); in evalFclose()
1173 C.addTransition(E.bindReturnValue(State, C, 0)); in evalFreadFwrite()
1268 StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFgetx()
1320 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFputx()
1408 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalFscanf()
1427 ProgramStateRef StateNotFailed = E.bindReturnValue(State, C, *PutVal); in evalUngetc()
1438 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalUngetc()
[all …]
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCallAndReturn.cpp | 740 ProgramStateRef ExprEngine::bindReturnValue(const CallEvent &Call, in bindReturnValue() function in ExprEngine
834 State = bindReturnValue(Call, Pred->getLocationContext(), State); in conservativeEvalCall()
|
| H A D | ExprEngineCXX.cpp | 105 State = bindReturnValue(Call, LCtx, State); in performTrivialCopy()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ExprEngine.h | 706 ProgramStateRef bindReturnValue(const CallEvent &Call,
|