Lines Matching refs:SVB
105 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
108 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
112 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
122 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
125 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
129 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
130 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
144 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
147 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
151 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
155 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()