blob: d76e7d62421fb98d016b4e8614d357f18f7c5a72 [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"
Rafael Espindola2a826e42014-06-13 17:20:48 +000011#include "llvm/Support/Errc.h"
Michael J. Spencer779c4242013-01-20 20:32:30 +000012#include "gtest/gtest.h"
Michael J. Spencer779c4242013-01-20 20:32:30 +000013#include <memory>
14
15using namespace llvm;
16
17namespace {
18
19ErrorOr<int> t1() {return 1;}
Rafael Espindola2a826e42014-06-13 17:20:48 +000020ErrorOr<int> t2() { return errc::invalid_argument; }
Michael J. Spencer779c4242013-01-20 20:32:30 +000021
22TEST(ErrorOr, SimpleValue) {
23 ErrorOr<int> a = t1();
Rafael Espindola98d3c102014-01-16 23:37:23 +000024 // FIXME: This is probably a bug in gtest. EXPECT_TRUE should expand to
25 // include the !! to make it friendly to explicit bool operators.
26 EXPECT_TRUE(!!a);
Michael J. Spencer779c4242013-01-20 20:32:30 +000027 EXPECT_EQ(1, *a);
28
Rafael Espindolacd56deb2014-01-09 19:47:39 +000029 ErrorOr<int> b = a;
30 EXPECT_EQ(1, *b);
31
Michael J. Spencer779c4242013-01-20 20:32:30 +000032 a = t2();
33 EXPECT_FALSE(a);
Rafael Espindola2a826e42014-06-13 17:20:48 +000034 EXPECT_EQ(a.getError(), errc::invalid_argument);
NAKAMURA Takumi08e028e2013-01-22 04:02:41 +000035#ifdef EXPECT_DEBUG_DEATH
Michael J. Spencer779c4242013-01-20 20:32:30 +000036 EXPECT_DEBUG_DEATH(*a, "Cannot get value when an error exists");
NAKAMURA Takumi08e028e2013-01-22 04:02:41 +000037#endif
Michael J. Spencer779c4242013-01-20 20:32:30 +000038}
39
Michael J. Spencer779c4242013-01-20 20:32:30 +000040ErrorOr<std::unique_ptr<int> > t3() {
41 return std::unique_ptr<int>(new int(3));
42}
Michael J. Spencer779c4242013-01-20 20:32:30 +000043
44TEST(ErrorOr, Types) {
45 int x;
46 ErrorOr<int&> a(x);
47 *a = 42;
48 EXPECT_EQ(42, x);
49
Michael J. Spencer779c4242013-01-20 20:32:30 +000050 // Move only types.
51 EXPECT_EQ(3, **t3());
Michael J. Spencer779c4242013-01-20 20:32:30 +000052}
Michael J. Spencer18131ae2013-02-06 22:28:53 +000053
54struct B {};
55struct D : B {};
56
57TEST(ErrorOr, Covariant) {
Craig Topper66f09ad2014-06-08 22:29:17 +000058 ErrorOr<B*> b(ErrorOr<D*>(nullptr));
59 b = ErrorOr<D*>(nullptr);
Michael J. Spencer18131ae2013-02-06 22:28:53 +000060
Craig Topper66f09ad2014-06-08 22:29:17 +000061 ErrorOr<std::unique_ptr<B> > b1(ErrorOr<std::unique_ptr<D> >(nullptr));
62 b1 = ErrorOr<std::unique_ptr<D> >(nullptr);
Michael J. Spencer18131ae2013-02-06 22:28:53 +000063}
Michael J. Spencer779c4242013-01-20 20:32:30 +000064} // end anon namespace