llvm/unittests/Support/ErrorOrTest.cpp

//===- unittests/ErrorOrTest.cpp - ErrorOr.h tests ------------------------===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#include "llvm/Support/ErrorOr.h"

#include "gtest/gtest.h"

#include <memory>

using namespace llvm;

namespace {

ErrorOr<int> t1() {return 1;}
ErrorOr<int> t2() {return make_error_code(errc::invalid_argument);}

TEST(ErrorOr, SimpleValue) {
  ErrorOr<int> a = t1();
  EXPECT_TRUE(a);
  EXPECT_EQ(1, *a);

  a = t2();
  EXPECT_FALSE(a);
  EXPECT_EQ(errc::invalid_argument, a);
#ifdef EXPECT_DEBUG_DEATH
  EXPECT_DEBUG_DEATH(*a, "Cannot get value when an error exists");
#endif
}

#if LLVM_HAS_CXX11_STDLIB
ErrorOr<std::unique_ptr<int> > t3() {
  return std::unique_ptr<int>(new int(3));
}
#endif

TEST(ErrorOr, Types) {
  int x;
  ErrorOr<int&> a(x);
  *a = 42;
  EXPECT_EQ(42, x);

  EXPECT_FALSE(ErrorOr<void>(make_error_code(errc::broken_pipe)));
  EXPECT_TRUE(ErrorOr<void>(make_error_code(errc::success)));

#if LLVM_HAS_CXX11_STDLIB
  // Move only types.
  EXPECT_EQ(3, **t3());
#endif
}
} // end anon namespace

struct InvalidArgError {
  InvalidArgError() {}
  InvalidArgError(std::string S) : ArgName(S) {}
  std::string ArgName;
};

namespace llvm {
template<>
struct ErrorOrUserDataTraits<InvalidArgError> : true_type {
  static error_code error() {
    return make_error_code(errc::invalid_argument);
  }
};
} // end namespace llvm

ErrorOr<int> t4() {
  return InvalidArgError("adena");
}

ErrorOr<void> t5() {
  return InvalidArgError("pie");
}

namespace {
TEST(ErrorOr, UserErrorData) {
  ErrorOr<int> a = t4();
  EXPECT_EQ(errc::invalid_argument, a);
  EXPECT_EQ("adena", t4().getError<InvalidArgError>().ArgName);
  
  ErrorOr<void> b = t5();
  EXPECT_EQ(errc::invalid_argument, b);
  EXPECT_EQ("pie", b.getError<InvalidArgError>().ArgName);
}
} // end anon namespace