Searched refs:EofVal (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 453 mutable std::optional<int> EofVal; member in __anon299e83ef0211::StreamChecker
617 if (EofVal) in initMacroValues()
621 EofVal = *OptInt; in initMacroValues()
623 EofVal = -1; in initMacroValues()
1030 C.addTransition(E.bindReturnValue(State, C, *EofVal)); in evalFclose()
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()
1438 ProgramStateRef StateFailed = E.bindReturnValue(State, C, *EofVal); in evalUngetc()
1672 ProgramStateRef StateFailed = bindInt(*EofVal, State, C, CE); in evalFflush()
|