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,
  17                         bool AllowSignConversions) const {
  18
  19   // Negative numbers cannot be losslessly converted to unsigned type.
  20   if (IsUnsigned && !AllowSignConversions &&
  21       Value.isSigned() && Value.isNegative())
  22     return RTR_Below;
  23
  24   unsigned MinBits;
  25   if (AllowSignConversions) {
  26     if (Value.isSigned() && !IsUnsigned)
  27       MinBits = Value.getMinSignedBits();
  28     else
  29       MinBits = Value.getActiveBits();
  30
  31   } else {
  32     // Signed integers can be converted to signed integers of the same width
  33     // or (if positive) unsigned integers with one fewer bit.
  34     // Unsigned integers can be converted to unsigned integers of the same width
  35     // or signed integers with one more bit.
  36     if (Value.isSigned())
  37       MinBits = Value.getMinSignedBits() - IsUnsigned;
  38     else
  39       MinBits = Value.getActiveBits() + !IsUnsigned;
  40   }
  41
  42   if (MinBits <= BitWidth)
  43     return RTR_Within;
  44
  45   if (Value.isSigned() && Value.isNegative())
  46     return RTR_Below;
  47   else
  48     return RTR_Above;
  49 }