684   SValBuilder &SVB = C.getSValBuilder();  in evalFclose()  local
686       CE, C.getLocationContext(), SVB.makeIntVal(0, C.getASTContext().IntTy));  in evalFclose()
689                       SVB.makeIntVal(*EofVal, C.getASTContext().IntTy));  in evalFclose()
780   SValBuilder &SVB = C.getSValBuilder();  in evalFreadFwrite()  local
782       SVB.evalBinOpNN(State, BO_LT, RetVal, *NMembVal, SVB.getConditionType())  in evalFreadFwrite()
832       SValBuilder &SVB = C.getSValBuilder();  in evalFgetx()  local
837           SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy),  in evalFgetx()
838                         SVB.getConditionType())  in evalFgetx()
841           SVB.evalBinOp(State, BO_LE, RetVal,  in evalFgetx()
842                         SVB.makeIntVal(SVB.getBasicValueFactory()  in evalFgetx()
846                         SVB.getConditionType())  in evalFgetx()
927     SValBuilder &SVB = C.getSValBuilder();  in evalFputx()  local
929     auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ASTC.IntTy),  in evalFputx()
930                               SVB.getConditionType())  in evalFputx()
972   SValBuilder &SVB = C.getSValBuilder();  in evalFprintf()  local
974   auto Cond = SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(ACtx.IntTy),  in evalFprintf()
975                             SVB.getConditionType())  in evalFprintf()
1012   SValBuilder &SVB = C.getSValBuilder();  in evalFscanf()  local
1028         SVB.evalBinOp(StateNotFailed, BO_GE, RetVal,  in evalFscanf()
1029                       SVB.makeZeroVal(ACtx.IntTy), SVB.getConditionType())  in evalFscanf()
1124     SValBuilder &SVB = C.getSValBuilder();  in evalGetdelim()  local
1126         SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(CE->getType()),  in evalGetdelim()
1127                       SVB.getConditionType())  in evalGetdelim()
1299   SValBuilder &SVB = C.getSValBuilder();  in evalFtell()  local
1304       SVB.evalBinOp(State, BO_GE, RetVal, SVB.makeZeroVal(Call.getResultType()),  in evalFtell()
1305                     SVB.getConditionType())  in evalFtell()
1314       CE, C.getLocationContext(), SVB.makeIntVal(-1, Call.getResultType()));  in evalFtell()