contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h

   1 //== APSIntType.h - Simple record of the type of APSInts --------*- C++ -*--==//
   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 #ifndef LLVM_CLANG_SA_CORE_APSINTTYPE_H
  11 #define LLVM_CLANG_SA_CORE_APSINTTYPE_H
  12
  13 #include "llvm/ADT/APSInt.h"
  14
  15 namespace clang {
  16 namespace ento {
  17
  18 /// \brief A record of the "type" of an APSInt, used for conversions.
  19 class APSIntType {
  20   uint32_t BitWidth;
  21   bool IsUnsigned;
  22
  23 public:
  24   APSIntType(uint32_t Width, bool Unsigned)
  25     : BitWidth(Width), IsUnsigned(Unsigned) {}
  26
  27   /* implicit */ APSIntType(const llvm::APSInt &Value)
  28     : BitWidth(Value.getBitWidth()), IsUnsigned(Value.isUnsigned()) {}
  29
  30   uint32_t getBitWidth() const { return BitWidth; }
  31   bool isUnsigned() const { return IsUnsigned; }
  32
  33   /// \brief Convert a given APSInt, in place, to match this type.
  34   ///
  35   /// This behaves like a C cast: converting 255u8 (0xFF) to s16 gives
  36   /// 255 (0x00FF), and converting -1s8 (0xFF) to u16 gives 65535 (0xFFFF).
  37   void apply(llvm::APSInt &Value) const {
  38     // Note the order here. We extend first to preserve the sign, if this value
  39     // is signed, /then/ match the signedness of the result type.
  40     Value = Value.extOrTrunc(BitWidth);
  41     Value.setIsUnsigned(IsUnsigned);
  42   }
  43
  44   /// Convert and return a new APSInt with the given value, but this
  45   /// type's bit width and signedness.
  46   ///
  47   /// \see apply
  48   llvm::APSInt convert(const llvm::APSInt &Value) const LLVM_READONLY {
  49     llvm::APSInt Result(Value, Value.isUnsigned());
  50     apply(Result);
  51     return Result;
  52   }
  53
  54   /// Returns an all-zero value for this type.
  55   llvm::APSInt getZeroValue() const LLVM_READONLY {
  56     return llvm::APSInt(BitWidth, IsUnsigned);
  57   }
  58
  59   /// Returns the minimum value for this type.
  60   llvm::APSInt getMinValue() const LLVM_READONLY {
  61     return llvm::APSInt::getMinValue(BitWidth, IsUnsigned);
  62   }
  63
  64   /// Returns the maximum value for this type.
  65   llvm::APSInt getMaxValue() const LLVM_READONLY {
  66     return llvm::APSInt::getMaxValue(BitWidth, IsUnsigned);
  67   }
  68
  69   llvm::APSInt getValue(uint64_t RawValue) const LLVM_READONLY {
  70     return (llvm::APSInt(BitWidth, IsUnsigned) = RawValue);
  71   }
  72
  73   /// Used to classify whether a value is representable using this type.
  74   ///
  75   /// \see testInRange
  76   enum RangeTestResultKind {
  77     RTR_Below = -1, ///< Value is less than the minimum representable value.
  78     RTR_Within = 0, ///< Value is representable using this type.
  79     RTR_Above = 1   ///< Value is greater than the maximum representable value.
  80   };
  81
  82   /// Tests whether a given value is losslessly representable using this type.
  83   ///
  84   /// Note that signedness conversions will be rejected, even with the same bit
  85   /// pattern. For example, -1s8 is not in range for 'unsigned char' (u8).
  86   RangeTestResultKind testInRange(const llvm::APSInt &Val) const LLVM_READONLY;
  87
  88   bool operator==(const APSIntType &Other) const {
  89     return BitWidth == Other.BitWidth && IsUnsigned == Other.IsUnsigned;
  90   }
  91
  92   /// \brief Provide an ordering for finding a common conversion type.
  93   ///
  94   /// Unsigned integers are considered to be better conversion types than
  95   /// signed integers of the same width.
  96   bool operator<(const APSIntType &Other) const {
  97     if (BitWidth < Other.BitWidth)
  98       return true;
  99     if (BitWidth > Other.BitWidth)
 100       return false;
 101     if (!IsUnsigned && Other.IsUnsigned)
 102       return true;
 103     return false;
 104   }
 105 };
 106
 107 } // end ento namespace
 108 } // end clang namespace
 109
 110 #endif