6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-07-26 05:25:47 +00:00
Code Issues Projects Releases Wiki Activity

[Support][ErrorOr] Add support for convertable types.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@174357 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Michael J. Spencer
2013-02-05 08:22:27 +00:00
parent ea59f896a6
commit a33e1fafac
2 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
include/llvm/Support/ErrorOr.h
View File

@@ -162,6 +162,7 @@ public:
/// T cannot be a rvalue reference. /// T cannot be a rvalue reference.
template<class T> template<class T>
class ErrorOr { class ErrorOr {
template <class OtherT> friend class ErrorOr;
static const bool isRef = is_reference<T>::value; static const bool isRef = is_reference<T>::value;
typedef ReferenceStorage<typename remove_reference<T>::type> wrap; typedef ReferenceStorage<typename remove_reference<T>::type> wrap;
@@ -198,7 +199,8 @@ public:
new (get()) storage_type(moveIfMoveConstructible<storage_type>(Val)); new (get()) storage_type(moveIfMoveConstructible<storage_type>(Val));
} }
ErrorOr(const ErrorOr &Other) : IsValid(false) { template <class OtherT>
ErrorOr(ErrorOr<OtherT> &Other) : IsValid(false) {
// Construct an invalid ErrorOr if other is invalid. // Construct an invalid ErrorOr if other is invalid.
if (!Other.IsValid) if (!Other.IsValid)
return; return;
@@ -227,7 +229,8 @@ public:
} }
#if LLVM_HAS_RVALUE_REFERENCES #if LLVM_HAS_RVALUE_REFERENCES
ErrorOr(ErrorOr &&Other) : IsValid(false) { template <class OtherT>
ErrorOr(ErrorOr<OtherT> &&Other) : IsValid(false) {
// Construct an invalid ErrorOr if other is invalid. // Construct an invalid ErrorOr if other is invalid.
if (!Other.IsValid) if (!Other.IsValid)
return; return;
@@ -311,7 +314,6 @@ private:
return &Val->get(); return &Val->get();
} }
protected:
storage_type *get() { storage_type *get() {
assert(IsValid && "Can't do anything on a default constructed ErrorOr!"); assert(IsValid && "Can't do anything on a default constructed ErrorOr!");
assert(!HasError && "Cannot get value when an error exists!"); assert(!HasError && "Cannot get value when an error exists!");

11
unittests/Support/ErrorOrTest.cpp
View File

@@ -53,6 +53,17 @@ TEST(ErrorOr, Types) {
EXPECT_EQ(3, **t3()); EXPECT_EQ(3, **t3());
#endif #endif
} }
struct B {};
struct D : B {};
TEST(ErrorOr, Covariant) {
ErrorOr<B*> b(ErrorOr<D*>(0));
#if LLVM_HAS_CXX11_STDLIB
ErrorOr<std::unique_ptr<B> > b1(ErrorOr<std::unique_ptr<D> >(0));
#endif
}
} // end anon namespace } // end anon namespace
struct InvalidArgError { struct InvalidArgError {