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