//===- unittest/StaticAnalyzer/APSIntTest.cpp - getAPSIntType  test --===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "clang/Basic/TargetInfo.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h"
#include "clang/Tooling/Tooling.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/Support/raw_ostream.h"
#include "gtest/gtest.h"

namespace {

TEST(getAPSIntTypeTest, APSIntTypeTests) {
  std::unique_ptr<clang::ASTUnit> AST = clang::tooling::buildASTFromCode("");
  clang::ASTContext &Context = AST->getASTContext();
  llvm::BumpPtrAllocator Arena;
  clang::ento::BasicValueFactory BVF{Context, Arena};

  clang::ento::APSIntType Ty = BVF.getAPSIntType(Context.LongAccumTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getLongAccumWidth());
  EXPECT_FALSE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.UnsignedLongAccumTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getLongAccumWidth());
  EXPECT_TRUE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.LongFractTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getLongFractWidth());
  EXPECT_FALSE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.UnsignedLongFractTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getLongFractWidth());
  EXPECT_TRUE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.SignedCharTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getCharWidth());
  EXPECT_FALSE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.UnsignedCharTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getCharWidth());
  EXPECT_TRUE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.LongTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getLongWidth());
  EXPECT_FALSE(Ty.isUnsigned());

  Ty = BVF.getAPSIntType(Context.UnsignedLongTy);
  EXPECT_TRUE(Ty.getBitWidth() == Context.getTargetInfo().getLongWidth());
  EXPECT_TRUE(Ty.isUnsigned());
}

} // end namespace