mirror of
https://github.com/RPCS3/llvm.git
synced 2024-11-26 05:00:39 +00:00
803fe19680
As noted on Errc.h:
// * std::errc is just marked with is_error_condition_enum. This means that
// common patters like AnErrorCode == errc::no_such_file_or_directory take
// 4 virtual calls instead of two comparisons.
And on some libstdc++ those virtual functions conclude that
------------------------
int main() {
std::error_code foo = std::make_error_code(std::errc::no_such_file_or_directory);
return foo == std::errc::no_such_file_or_directory;
}
-------------------------
should exit with 0.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@239683 91177308-0d34-0410-b5e6-96231b3b80d8
101 lines
2.9 KiB
C++
101 lines
2.9 KiB
C++
//===- 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 "llvm/Support/Errc.h"
|
|
#include "gtest/gtest.h"
|
|
#include <memory>
|
|
|
|
using namespace llvm;
|
|
|
|
namespace {
|
|
|
|
ErrorOr<int> t1() {return 1;}
|
|
ErrorOr<int> t2() { return errc::invalid_argument; }
|
|
|
|
TEST(ErrorOr, SimpleValue) {
|
|
ErrorOr<int> a = t1();
|
|
// FIXME: This is probably a bug in gtest. EXPECT_TRUE should expand to
|
|
// include the !! to make it friendly to explicit bool operators.
|
|
EXPECT_TRUE(!!a);
|
|
EXPECT_EQ(1, *a);
|
|
|
|
ErrorOr<int> b = a;
|
|
EXPECT_EQ(1, *b);
|
|
|
|
a = t2();
|
|
EXPECT_FALSE(a);
|
|
EXPECT_EQ(a.getError(), errc::invalid_argument);
|
|
#ifdef EXPECT_DEBUG_DEATH
|
|
EXPECT_DEBUG_DEATH(*a, "Cannot get value when an error exists");
|
|
#endif
|
|
}
|
|
|
|
ErrorOr<std::unique_ptr<int> > t3() {
|
|
return std::unique_ptr<int>(new int(3));
|
|
}
|
|
|
|
TEST(ErrorOr, Types) {
|
|
int x;
|
|
ErrorOr<int&> a(x);
|
|
*a = 42;
|
|
EXPECT_EQ(42, x);
|
|
|
|
// Move only types.
|
|
EXPECT_EQ(3, **t3());
|
|
}
|
|
|
|
struct B {};
|
|
struct D : B {};
|
|
|
|
TEST(ErrorOr, Covariant) {
|
|
ErrorOr<B*> b(ErrorOr<D*>(nullptr));
|
|
b = ErrorOr<D*>(nullptr);
|
|
|
|
ErrorOr<std::unique_ptr<B> > b1(ErrorOr<std::unique_ptr<D> >(nullptr));
|
|
b1 = ErrorOr<std::unique_ptr<D> >(nullptr);
|
|
|
|
ErrorOr<std::unique_ptr<int>> b2(ErrorOr<int *>(nullptr));
|
|
ErrorOr<int *> b3(nullptr);
|
|
ErrorOr<std::unique_ptr<int>> b4(b3);
|
|
}
|
|
|
|
TEST(ErrorOr, Comparison) {
|
|
ErrorOr<int> x(errc::no_such_file_or_directory);
|
|
EXPECT_EQ(x, errc::no_such_file_or_directory);
|
|
}
|
|
|
|
// ErrorOr<int*> x(nullptr);
|
|
// ErrorOr<std::unique_ptr<int>> y = x; // invalid conversion
|
|
static_assert(
|
|
!std::is_convertible<const ErrorOr<int *> &,
|
|
ErrorOr<std::unique_ptr<int>>>::value,
|
|
"do not invoke explicit ctors in implicit conversion from lvalue");
|
|
|
|
// ErrorOr<std::unique_ptr<int>> y = ErrorOr<int*>(nullptr); // invalid
|
|
// // conversion
|
|
static_assert(
|
|
!std::is_convertible<ErrorOr<int *> &&,
|
|
ErrorOr<std::unique_ptr<int>>>::value,
|
|
"do not invoke explicit ctors in implicit conversion from rvalue");
|
|
|
|
// ErrorOr<int*> x(nullptr);
|
|
// ErrorOr<std::unique_ptr<int>> y;
|
|
// y = x; // invalid conversion
|
|
static_assert(!std::is_assignable<ErrorOr<std::unique_ptr<int>>,
|
|
const ErrorOr<int *> &>::value,
|
|
"do not invoke explicit ctors in assignment");
|
|
|
|
// ErrorOr<std::unique_ptr<int>> x;
|
|
// x = ErrorOr<int*>(nullptr); // invalid conversion
|
|
static_assert(!std::is_assignable<ErrorOr<std::unique_ptr<int>>,
|
|
ErrorOr<int *> &&>::value,
|
|
"do not invoke explicit ctors in assignment");
|
|
} // end anon namespace
|