Lines Matching defs:integer
107 /// Evaluates a given SVal. If the SVal has only one possible (integer) value,
232 nonloc::ConcreteInt makeIntVal(const IntegerLiteral* integer) {
234 BasicVals.getValue(integer->getValue(),
235 integer->getType()->isUnsignedIntegerOrEnumerationType()));
244 nonloc::ConcreteInt makeIntVal(const llvm::APSInt& integer) {
245 return nonloc::ConcreteInt(BasicVals.getValue(integer));
248 loc::ConcreteInt makeIntLocVal(const llvm::APSInt &integer) {
249 return loc::ConcreteInt(BasicVals.getValue(integer));
252 NonLoc makeIntVal(const llvm::APInt& integer, bool isUnsigned) {
253 return nonloc::ConcreteInt(BasicVals.getValue(integer, isUnsigned));
256 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
258 return loc::ConcreteInt(BasicVals.getValue(integer, type));
260 return nonloc::ConcreteInt(BasicVals.getValue(integer, type));
263 NonLoc makeIntVal(uint64_t integer, bool isUnsigned) {
264 return nonloc::ConcreteInt(BasicVals.getIntValue(integer, isUnsigned));
267 NonLoc makeIntValWithPtrWidth(uint64_t integer, bool isUnsigned) {
269 BasicVals.getIntWithPtrWidth(integer, isUnsigned));
312 Loc makeLoc(const llvm::APSInt& integer) {
313 return loc::ConcreteInt(BasicVals.getValue(integer));