Lines Matching refs:SVB
108 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfError() local
111 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfError()
115 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfError()
125 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoIfErrorRange() local
128 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoIfErrorRange()
132 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoIfErrorRange()
133 DefinedOrUnknownSVal ErrnoVal = SVB.conjureSymbolVal( in evalSetErrnoIfErrorRange()
147 SValBuilder &SVB = C.getSValBuilder(); in evalSetErrnoCheckState() local
150 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(0, true)); in evalSetErrnoCheckState()
154 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(1, true)); in evalSetErrnoCheckState()
158 Call.getOriginExpr(), C.getLocationContext(), SVB.makeIntVal(2, true)); in evalSetErrnoCheckState()