1 //===--- APSIntType.cpp - Simple record of the type of APSInts ------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h" 11 12 using namespace clang; 13 using namespace ento; 14 15 APSIntType::RangeTestResultKind 16 APSIntType::testInRange(const llvm::APSInt &Value) const { 17 // Negative numbers cannot be losslessly converted to unsigned type. 18 if (IsUnsigned && Value.isSigned() && Value.isNegative()) 19 return RTR_Below; 20 21 // Signed integers can be converted to signed integers of the same width 22 // or (if positive) unsigned integers with one fewer bit. 23 // Unsigned integers can be converted to unsigned integers of the same width 24 // or signed integers with one more bit. 25 unsigned MinBits; 26 if (Value.isSigned()) 27 MinBits = Value.getMinSignedBits() - IsUnsigned; 28 else 29 MinBits = Value.getActiveBits() + !IsUnsigned; 30 31 if (MinBits <= BitWidth) 32 return RTR_Within; 33 34 if (Value.isSigned() && Value.isNegative()) 35 return RTR_Below; 36 else 37 return RTR_Above; 38 } 39
