1 //===--- APSIntType.cpp - Simple record of the type of APSInts ------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
12 using namespace clang;
15 APSIntType::RangeTestResultKind
16 APSIntType::testInRange(const llvm::APSInt &Value,
17 bool AllowSignConversions) const {
19 // Negative numbers cannot be losslessly converted to unsigned type.
20 if (IsUnsigned && !AllowSignConversions &&
21 Value.isSigned() && Value.isNegative())
25 if (AllowSignConversions) {
26 if (Value.isSigned() && !IsUnsigned)
27 MinBits = Value.getMinSignedBits();
29 MinBits = Value.getActiveBits();
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.
37 MinBits = Value.getMinSignedBits() - IsUnsigned;
39 MinBits = Value.getActiveBits() + !IsUnsigned;
42 if (MinBits <= BitWidth)
45 if (Value.isSigned() && Value.isNegative())