Home | History | Annotate | Download | only in Support 
      1 //===- 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 #include "llvm/Support/Errc.h"
     12 #include "gtest/gtest.h"
     13 #include <memory>
     14 
     15 using namespace llvm;
     16 
     17 namespace {
     18 
     19 ErrorOr<int> t1() {return 1;}
     20 ErrorOr<int> t2() { return errc::invalid_argument; }
     21 
     22 TEST(ErrorOr, SimpleValue) {
     23   ErrorOr<int> a = t1();
     24   // 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);
     27   EXPECT_EQ(1, *a);
     28 
     29   ErrorOr<int> b = a;
     30   EXPECT_EQ(1, *b);
     31 
     32   a = t2();
     33   EXPECT_FALSE(a);
     34   EXPECT_EQ(a.getError(), errc::invalid_argument);
     35 #ifdef EXPECT_DEBUG_DEATH
     36   EXPECT_DEBUG_DEATH(*a, "Cannot get value when an error exists");
     37 #endif
     38 }
     39 
     40 ErrorOr<std::unique_ptr<int> > t3() {
     41   return std::unique_ptr<int>(new int(3));
     42 }
     43 
     44 TEST(ErrorOr, Types) {
     45   int x;
     46   ErrorOr<int&> a(x);
     47   *a = 42;
     48   EXPECT_EQ(42, x);
     49 
     50   // Move only types.
     51   EXPECT_EQ(3, **t3());
     52 }
     53 
     54 struct B {};
     55 struct D : B {};
     56 
     57 TEST(ErrorOr, Covariant) {
     58   ErrorOr<B*> b(ErrorOr<D*>(nullptr));
     59   b = ErrorOr<D*>(nullptr);
     60 
     61   ErrorOr<std::unique_ptr<B> > b1(ErrorOr<std::unique_ptr<D> >(nullptr));
     62   b1 = ErrorOr<std::unique_ptr<D> >(nullptr);
     63 
     64   ErrorOr<std::unique_ptr<int>> b2(ErrorOr<int *>(nullptr));
     65   ErrorOr<int *> b3(nullptr);
     66   ErrorOr<std::unique_ptr<int>> b4(b3);
     67 }
     68 
     69 TEST(ErrorOr, Comparison) {
     70   ErrorOr<int> x(errc::no_such_file_or_directory);
     71   EXPECT_EQ(x, errc::no_such_file_or_directory);
     72 }
     73 
     74 // ErrorOr<int*> x(nullptr);
     75 // ErrorOr<std::unique_ptr<int>> y = x; // invalid conversion
     76 static_assert(
     77     !std::is_convertible<const ErrorOr<int *> &,
     78                          ErrorOr<std::unique_ptr<int>>>::value,
     79     "do not invoke explicit ctors in implicit conversion from lvalue");
     80 
     81 // ErrorOr<std::unique_ptr<int>> y = ErrorOr<int*>(nullptr); // invalid
     82 //                                                           // conversion
     83 static_assert(
     84     !std::is_convertible<ErrorOr<int *> &&,
     85                          ErrorOr<std::unique_ptr<int>>>::value,
     86     "do not invoke explicit ctors in implicit conversion from rvalue");
     87 
     88 // ErrorOr<int*> x(nullptr);
     89 // ErrorOr<std::unique_ptr<int>> y;
     90 // y = x; // invalid conversion
     91 static_assert(!std::is_assignable<ErrorOr<std::unique_ptr<int>>,
     92                                   const ErrorOr<int *> &>::value,
     93               "do not invoke explicit ctors in assignment");
     94 
     95 // ErrorOr<std::unique_ptr<int>> x;
     96 // x = ErrorOr<int*>(nullptr); // invalid conversion
     97 static_assert(!std::is_assignable<ErrorOr<std::unique_ptr<int>>,
     98                                   ErrorOr<int *> &&>::value,
     99               "do not invoke explicit ctors in assignment");
    100 } // end anon namespace
    101