contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/APSIntType.cpp

   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 }