blob: 4853426c9470671d9476553a6f788f56e09e60ce [file] [log] [blame]
Michael J. Spencer779c4242013-01-20 20:32:30 +00001//===- unittests/ErrorOrTest.cpp - ErrorOr.h tests ------------------------===//
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 "llvm/Support/ErrorOr.h"
11
12#include "gtest/gtest.h"
13
14#include <memory>
15
16using namespace llvm;
17
18namespace {
19
20ErrorOr<int> t1() {return 1;}
Michael J. Spencer12e3dfc2013-02-28 01:44:26 +000021ErrorOr<int> t2() { return errc::invalid_argument; }
Michael J. Spencer779c4242013-01-20 20:32:30 +000022
23TEST(ErrorOr, SimpleValue) {
24 ErrorOr<int> a = t1();
25 EXPECT_TRUE(a);
26 EXPECT_EQ(1, *a);
27
28 a = t2();
29 EXPECT_FALSE(a);
30 EXPECT_EQ(errc::invalid_argument, a);
NAKAMURA Takumi08e028e2013-01-22 04:02:41 +000031#ifdef EXPECT_DEBUG_DEATH
Michael J. Spencer779c4242013-01-20 20:32:30 +000032 EXPECT_DEBUG_DEATH(*a, "Cannot get value when an error exists");
NAKAMURA Takumi08e028e2013-01-22 04:02:41 +000033#endif
Michael J. Spencer779c4242013-01-20 20:32:30 +000034}
35
36#if LLVM_HAS_CXX11_STDLIB
37ErrorOr<std::unique_ptr<int> > t3() {
38 return std::unique_ptr<int>(new int(3));
39}
40#endif
41
42TEST(ErrorOr, Types) {
43 int x;
44 ErrorOr<int&> a(x);
45 *a = 42;
46 EXPECT_EQ(42, x);
47
Michael J. Spencer12e3dfc2013-02-28 01:44:26 +000048 EXPECT_FALSE(ErrorOr<void>(errc::broken_pipe));
49 EXPECT_TRUE(ErrorOr<void>(errc::success));
Michael J. Spencerf71baa82013-01-23 00:18:31 +000050
Michael J. Spencer779c4242013-01-20 20:32:30 +000051#if LLVM_HAS_CXX11_STDLIB
52 // Move only types.
53 EXPECT_EQ(3, **t3());
54#endif
55}
Michael J. Spencer18131ae2013-02-06 22:28:53 +000056
57struct B {};
58struct D : B {};
59
60TEST(ErrorOr, Covariant) {
61 ErrorOr<B*> b(ErrorOr<D*>(0));
62 b = ErrorOr<D*>(0);
63
64#if LLVM_HAS_CXX11_STDLIB
65 ErrorOr<std::unique_ptr<B> > b1(ErrorOr<std::unique_ptr<D> >(0));
66 b1 = ErrorOr<std::unique_ptr<D> >(0);
67#endif
68}
Michael J. Spencer779c4242013-01-20 20:32:30 +000069} // end anon namespace
70
71struct InvalidArgError {
72 InvalidArgError() {}
73 InvalidArgError(std::string S) : ArgName(S) {}
74 std::string ArgName;
75};
76
77namespace llvm {
78template<>
Michael J. Spencerb2137102013-01-21 05:39:07 +000079struct ErrorOrUserDataTraits<InvalidArgError> : true_type {
Michael J. Spencer779c4242013-01-20 20:32:30 +000080 static error_code error() {
81 return make_error_code(errc::invalid_argument);
82 }
83};
Michael J. Spencerb2137102013-01-21 05:39:07 +000084} // end namespace llvm
Michael J. Spencer779c4242013-01-20 20:32:30 +000085
86ErrorOr<int> t4() {
87 return InvalidArgError("adena");
88}
89
Michael J. Spencerf71baa82013-01-23 00:18:31 +000090ErrorOr<void> t5() {
91 return InvalidArgError("pie");
92}
93
Michael J. Spencer779c4242013-01-20 20:32:30 +000094namespace {
95TEST(ErrorOr, UserErrorData) {
96 ErrorOr<int> a = t4();
97 EXPECT_EQ(errc::invalid_argument, a);
98 EXPECT_EQ("adena", t4().getError<InvalidArgError>().ArgName);
Michael J. Spencerf71baa82013-01-23 00:18:31 +000099
100 ErrorOr<void> b = t5();
101 EXPECT_EQ(errc::invalid_argument, b);
102 EXPECT_EQ("pie", b.getError<InvalidArgError>().ArgName);
Michael J. Spencer779c4242013-01-20 20:32:30 +0000103}
104} // end anon namespace