1 //===----- unittests/ErrorTest.cpp - Error.h tests ------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "llvm/Support/Error.h"
10 #include "llvm-c/Error.h"
12 #include "llvm/ADT/Twine.h"
13 #include "llvm/Support/Errc.h"
14 #include "llvm/Support/ErrorHandling.h"
15 #include "llvm/Support/ManagedStatic.h"
16 #include "llvm/Testing/Support/Error.h"
17 #include "gtest/gtest-spi.h"
18 #include "gtest/gtest.h"
25 // Custom error class with a default base class and some random 'info' attached.
26 class CustomError
: public ErrorInfo
<CustomError
> {
28 // Create an error with some info attached.
29 CustomError(int Info
) : Info(Info
) {}
31 // Get the info attached to this error.
32 int getInfo() const { return Info
; }
34 // Log this error to a stream.
35 void log(raw_ostream
&OS
) const override
{
36 OS
<< "CustomError {" << getInfo() << "}";
39 std::error_code
convertToErrorCode() const override
{
40 llvm_unreachable("CustomError doesn't support ECError conversion");
43 // Used by ErrorInfo::classID.
47 // This error is subclassed below, but we can't use inheriting constructors
48 // yet, so we can't propagate the constructors through ErrorInfo. Instead
49 // we have to have a default constructor and have the subclass initialize all
51 CustomError() : Info(0) {}
56 char CustomError::ID
= 0;
58 // Custom error class with a custom base class and some additional random
60 class CustomSubError
: public ErrorInfo
<CustomSubError
, CustomError
> {
62 // Create a sub-error with some info attached.
63 CustomSubError(int Info
, int ExtraInfo
) : ExtraInfo(ExtraInfo
) {
67 // Get the extra info attached to this error.
68 int getExtraInfo() const { return ExtraInfo
; }
70 // Log this error to a stream.
71 void log(raw_ostream
&OS
) const override
{
72 OS
<< "CustomSubError { " << getInfo() << ", " << getExtraInfo() << "}";
75 std::error_code
convertToErrorCode() const override
{
76 llvm_unreachable("CustomSubError doesn't support ECError conversion");
79 // Used by ErrorInfo::classID.
86 char CustomSubError::ID
= 0;
88 static Error
handleCustomError(const CustomError
&CE
) {
89 return Error::success();
92 static void handleCustomErrorVoid(const CustomError
&CE
) {}
94 static Error
handleCustomErrorUP(std::unique_ptr
<CustomError
> CE
) {
95 return Error::success();
98 static void handleCustomErrorUPVoid(std::unique_ptr
<CustomError
> CE
) {}
100 // Test that success values implicitly convert to false, and don't cause crashes
101 // once they've been implicitly converted.
102 TEST(Error
, CheckedSuccess
) {
103 Error E
= Error::success();
104 EXPECT_FALSE(E
) << "Unexpected error while testing Error 'Success'";
107 // Test that unchecked success values cause an abort.
108 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
109 TEST(Error
, UncheckedSuccess
) {
110 EXPECT_DEATH({ Error E
= Error::success(); },
111 "Program aborted due to an unhandled Error:")
112 << "Unchecked Error Succes value did not cause abort()";
116 // ErrorAsOutParameter tester.
117 void errAsOutParamHelper(Error
&Err
) {
118 ErrorAsOutParameter
ErrAsOutParam(&Err
);
119 // Verify that checked flag is raised - assignment should not crash.
120 Err
= Error::success();
121 // Raise the checked bit manually - caller should still have to test the
126 // Test that ErrorAsOutParameter sets the checked flag on construction.
127 TEST(Error
, ErrorAsOutParameterChecked
) {
128 Error E
= Error::success();
129 errAsOutParamHelper(E
);
133 // Test that ErrorAsOutParameter clears the checked flag on destruction.
134 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
135 TEST(Error
, ErrorAsOutParameterUnchecked
) {
136 EXPECT_DEATH({ Error E
= Error::success(); errAsOutParamHelper(E
); },
137 "Program aborted due to an unhandled Error:")
138 << "ErrorAsOutParameter did not clear the checked flag on destruction.";
142 // Check that we abort on unhandled failure cases. (Force conversion to bool
143 // to make sure that we don't accidentally treat checked errors as handled).
144 // Test runs in debug mode only.
145 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
146 TEST(Error
, UncheckedError
) {
147 auto DropUnhandledError
= []() {
148 Error E
= make_error
<CustomError
>(42);
151 EXPECT_DEATH(DropUnhandledError(),
152 "Program aborted due to an unhandled Error:")
153 << "Unhandled Error failure value did not cause abort()";
157 // Check 'Error::isA<T>' method handling.
158 TEST(Error
, IsAHandling
) {
159 // Check 'isA' handling.
160 Error E
= make_error
<CustomError
>(1);
161 Error F
= make_error
<CustomSubError
>(1, 2);
162 Error G
= Error::success();
164 EXPECT_TRUE(E
.isA
<CustomError
>());
165 EXPECT_FALSE(E
.isA
<CustomSubError
>());
166 EXPECT_TRUE(F
.isA
<CustomError
>());
167 EXPECT_TRUE(F
.isA
<CustomSubError
>());
168 EXPECT_FALSE(G
.isA
<CustomError
>());
170 consumeError(std::move(E
));
171 consumeError(std::move(F
));
172 consumeError(std::move(G
));
175 // Check that we can handle a custom error.
176 TEST(Error
, HandleCustomError
) {
177 int CaughtErrorInfo
= 0;
178 handleAllErrors(make_error
<CustomError
>(42), [&](const CustomError
&CE
) {
179 CaughtErrorInfo
= CE
.getInfo();
182 EXPECT_TRUE(CaughtErrorInfo
== 42) << "Wrong result from CustomError handler";
185 // Check that handler type deduction also works for handlers
186 // of the following types:
188 // Error (const Err&) mutable
189 // void (const Err&) mutable
192 // Error (Err&) mutable
193 // void (Err&) mutable
194 // Error (unique_ptr<Err>)
195 // void (unique_ptr<Err>)
196 // Error (unique_ptr<Err>) mutable
197 // void (unique_ptr<Err>) mutable
198 TEST(Error
, HandlerTypeDeduction
) {
200 handleAllErrors(make_error
<CustomError
>(42), [](const CustomError
&CE
) {});
203 make_error
<CustomError
>(42),
204 [](const CustomError
&CE
) mutable -> Error
{ return Error::success(); });
206 handleAllErrors(make_error
<CustomError
>(42),
207 [](const CustomError
&CE
) mutable {});
209 handleAllErrors(make_error
<CustomError
>(42),
210 [](CustomError
&CE
) -> Error
{ return Error::success(); });
212 handleAllErrors(make_error
<CustomError
>(42), [](CustomError
&CE
) {});
214 handleAllErrors(make_error
<CustomError
>(42),
215 [](CustomError
&CE
) mutable -> Error
{ return Error::success(); });
217 handleAllErrors(make_error
<CustomError
>(42), [](CustomError
&CE
) mutable {});
220 make_error
<CustomError
>(42),
221 [](std::unique_ptr
<CustomError
> CE
) -> Error
{ return Error::success(); });
223 handleAllErrors(make_error
<CustomError
>(42),
224 [](std::unique_ptr
<CustomError
> CE
) {});
227 make_error
<CustomError
>(42),
228 [](std::unique_ptr
<CustomError
> CE
) mutable -> Error
{ return Error::success(); });
230 handleAllErrors(make_error
<CustomError
>(42),
231 [](std::unique_ptr
<CustomError
> CE
) mutable {});
233 // Check that named handlers of type 'Error (const Err&)' work.
234 handleAllErrors(make_error
<CustomError
>(42), handleCustomError
);
236 // Check that named handlers of type 'void (const Err&)' work.
237 handleAllErrors(make_error
<CustomError
>(42), handleCustomErrorVoid
);
239 // Check that named handlers of type 'Error (std::unique_ptr<Err>)' work.
240 handleAllErrors(make_error
<CustomError
>(42), handleCustomErrorUP
);
242 // Check that named handlers of type 'Error (std::unique_ptr<Err>)' work.
243 handleAllErrors(make_error
<CustomError
>(42), handleCustomErrorUPVoid
);
246 // Test that we can handle errors with custom base classes.
247 TEST(Error
, HandleCustomErrorWithCustomBaseClass
) {
248 int CaughtErrorInfo
= 0;
249 int CaughtErrorExtraInfo
= 0;
250 handleAllErrors(make_error
<CustomSubError
>(42, 7),
251 [&](const CustomSubError
&SE
) {
252 CaughtErrorInfo
= SE
.getInfo();
253 CaughtErrorExtraInfo
= SE
.getExtraInfo();
256 EXPECT_TRUE(CaughtErrorInfo
== 42 && CaughtErrorExtraInfo
== 7)
257 << "Wrong result from CustomSubError handler";
260 // Check that we trigger only the first handler that applies.
261 TEST(Error
, FirstHandlerOnly
) {
263 int CaughtErrorInfo
= 0;
264 int CaughtErrorExtraInfo
= 0;
266 handleAllErrors(make_error
<CustomSubError
>(42, 7),
267 [&](const CustomSubError
&SE
) {
268 CaughtErrorInfo
= SE
.getInfo();
269 CaughtErrorExtraInfo
= SE
.getExtraInfo();
271 [&](const CustomError
&CE
) { DummyInfo
= CE
.getInfo(); });
273 EXPECT_TRUE(CaughtErrorInfo
== 42 && CaughtErrorExtraInfo
== 7 &&
275 << "Activated the wrong Error handler(s)";
278 // Check that general handlers shadow specific ones.
279 TEST(Error
, HandlerShadowing
) {
280 int CaughtErrorInfo
= 0;
282 int DummyExtraInfo
= 0;
285 make_error
<CustomSubError
>(42, 7),
286 [&](const CustomError
&CE
) { CaughtErrorInfo
= CE
.getInfo(); },
287 [&](const CustomSubError
&SE
) {
288 DummyInfo
= SE
.getInfo();
289 DummyExtraInfo
= SE
.getExtraInfo();
292 EXPECT_TRUE(CaughtErrorInfo
== 42 && DummyInfo
== 0 && DummyExtraInfo
== 0)
293 << "General Error handler did not shadow specific handler";
297 TEST(Error
, CheckJoinErrors
) {
298 int CustomErrorInfo1
= 0;
299 int CustomErrorInfo2
= 0;
300 int CustomErrorExtraInfo
= 0;
302 joinErrors(make_error
<CustomError
>(7), make_error
<CustomSubError
>(42, 7));
304 handleAllErrors(std::move(E
),
305 [&](const CustomSubError
&SE
) {
306 CustomErrorInfo2
= SE
.getInfo();
307 CustomErrorExtraInfo
= SE
.getExtraInfo();
309 [&](const CustomError
&CE
) {
310 // Assert that the CustomError instance above is handled
312 // CustomSubError - joinErrors should preserve error
314 EXPECT_EQ(CustomErrorInfo2
, 0)
315 << "CustomErrorInfo2 should be 0 here. "
316 "joinErrors failed to preserve ordering.\n";
317 CustomErrorInfo1
= CE
.getInfo();
320 EXPECT_TRUE(CustomErrorInfo1
== 7 && CustomErrorInfo2
== 42 &&
321 CustomErrorExtraInfo
== 7)
322 << "Failed handling compound Error.";
324 // Test appending a single item to a list.
329 joinErrors(make_error
<CustomError
>(7),
330 make_error
<CustomError
>(7)),
331 make_error
<CustomError
>(7)),
332 [&](const CustomError
&CE
) {
335 EXPECT_EQ(Sum
, 21) << "Failed to correctly append error to error list.";
338 // Test prepending a single item to a list.
343 make_error
<CustomError
>(7),
344 joinErrors(make_error
<CustomError
>(7),
345 make_error
<CustomError
>(7))),
346 [&](const CustomError
&CE
) {
349 EXPECT_EQ(Sum
, 21) << "Failed to correctly prepend error to error list.";
352 // Test concatenating two error lists.
358 make_error
<CustomError
>(7),
359 make_error
<CustomError
>(7)),
361 make_error
<CustomError
>(7),
362 make_error
<CustomError
>(7))),
363 [&](const CustomError
&CE
) {
366 EXPECT_EQ(Sum
, 28) << "Failed to correctly concatenate error lists.";
370 // Test that we can consume success values.
371 TEST(Error
, ConsumeSuccess
) {
372 Error E
= Error::success();
373 consumeError(std::move(E
));
376 TEST(Error
, ConsumeError
) {
377 Error E
= make_error
<CustomError
>(7);
378 consumeError(std::move(E
));
381 // Test that handleAllUnhandledErrors crashes if an error is not caught.
382 // Test runs in debug mode only.
383 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
384 TEST(Error
, FailureToHandle
) {
385 auto FailToHandle
= []() {
386 handleAllErrors(make_error
<CustomError
>(7), [&](const CustomSubError
&SE
) {
387 errs() << "This should never be called";
392 EXPECT_DEATH(FailToHandle(),
393 "Failure value returned from cantFail wrapped call\n"
394 "CustomError \\{7\\}")
395 << "Unhandled Error in handleAllErrors call did not cause an "
400 // Test that handleAllUnhandledErrors crashes if an error is returned from a
402 // Test runs in debug mode only.
403 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
404 TEST(Error
, FailureFromHandler
) {
405 auto ReturnErrorFromHandler
= []() {
406 handleAllErrors(make_error
<CustomError
>(7),
407 [&](std::unique_ptr
<CustomSubError
> SE
) {
408 return Error(std::move(SE
));
412 EXPECT_DEATH(ReturnErrorFromHandler(),
413 "Failure value returned from cantFail wrapped call\n"
414 "CustomError \\{7\\}")
415 << " Error returned from handler in handleAllErrors call did not "
420 // Test that we can return values from handleErrors.
421 TEST(Error
, CatchErrorFromHandler
) {
424 Error E
= handleErrors(
425 make_error
<CustomError
>(7),
426 [&](std::unique_ptr
<CustomError
> CE
) { return Error(std::move(CE
)); });
428 handleAllErrors(std::move(E
),
429 [&](const CustomError
&CE
) { ErrorInfo
= CE
.getInfo(); });
431 EXPECT_EQ(ErrorInfo
, 7)
432 << "Failed to handle Error returned from handleErrors.";
435 TEST(Error
, StringError
) {
437 raw_string_ostream
S(Msg
);
438 logAllUnhandledErrors(
439 make_error
<StringError
>("foo" + Twine(42), inconvertibleErrorCode()), S
);
440 EXPECT_EQ(S
.str(), "foo42\n") << "Unexpected StringError log result";
443 errorToErrorCode(make_error
<StringError
>("", errc::invalid_argument
));
444 EXPECT_EQ(EC
, errc::invalid_argument
)
445 << "Failed to convert StringError to error_code.";
448 TEST(Error
, createStringError
) {
449 static const char *Bar
= "bar";
450 static const std::error_code EC
= errc::invalid_argument
;
452 raw_string_ostream
S(Msg
);
453 logAllUnhandledErrors(createStringError(EC
, "foo%s%d0x%" PRIx8
, Bar
, 1, 0xff),
455 EXPECT_EQ(S
.str(), "foobar10xff\n")
456 << "Unexpected createStringError() log result";
460 logAllUnhandledErrors(createStringError(EC
, Bar
), S
);
461 EXPECT_EQ(S
.str(), "bar\n")
462 << "Unexpected createStringError() (overloaded) log result";
466 auto Res
= errorToErrorCode(createStringError(EC
, "foo%s", Bar
));
468 << "Failed to convert createStringError() result to error_code.";
471 // Test that the ExitOnError utility works as expected.
472 TEST(Error
, ExitOnError
) {
473 ExitOnError ExitOnErr
;
474 ExitOnErr
.setBanner("Error in tool:");
475 ExitOnErr
.setExitCodeMapper([](const Error
&E
) {
476 if (E
.isA
<CustomSubError
>())
481 // Make sure we don't bail on success.
482 ExitOnErr(Error::success());
483 EXPECT_EQ(ExitOnErr(Expected
<int>(7)), 7)
484 << "exitOnError returned an invalid value for Expected";
487 int &B
= ExitOnErr(Expected
<int&>(A
));
488 EXPECT_EQ(&A
, &B
) << "ExitOnError failed to propagate reference";
491 EXPECT_EXIT(ExitOnErr(make_error
<CustomError
>(7)),
492 ::testing::ExitedWithCode(1), "Error in tool:")
493 << "exitOnError returned an unexpected error result";
495 EXPECT_EXIT(ExitOnErr(Expected
<int>(make_error
<CustomSubError
>(0, 0))),
496 ::testing::ExitedWithCode(2), "Error in tool:")
497 << "exitOnError returned an unexpected error result";
500 // Test that the ExitOnError utility works as expected.
501 TEST(Error
, CantFailSuccess
) {
502 cantFail(Error::success());
504 int X
= cantFail(Expected
<int>(42));
505 EXPECT_EQ(X
, 42) << "Expected value modified by cantFail";
508 int &Y
= cantFail(Expected
<int&>(Dummy
));
509 EXPECT_EQ(&Dummy
, &Y
) << "Reference mangled by cantFail";
512 // Test that cantFail results in a crash if you pass it a failure value.
513 #if LLVM_ENABLE_ABI_BREAKING_CHECKS && !defined(NDEBUG)
514 TEST(Error
, CantFailDeath
) {
515 EXPECT_DEATH(cantFail(make_error
<StringError
>("Original error message",
516 inconvertibleErrorCode()),
517 "Cantfail call failed"),
518 "Cantfail call failed\n"
519 "Original error message")
520 << "cantFail(Error) did not cause an abort for failure value";
524 auto IEC
= inconvertibleErrorCode();
525 int X
= cantFail(Expected
<int>(make_error
<StringError
>("foo", IEC
)));
528 "Failure value returned from cantFail wrapped call")
529 << "cantFail(Expected<int>) did not cause an abort for failure value";
534 // Test Checked Expected<T> in success mode.
535 TEST(Error
, CheckedExpectedInSuccessMode
) {
537 EXPECT_TRUE(!!A
) << "Expected with non-error value doesn't convert to 'true'";
538 // Access is safe in second test, since we checked the error in the first.
539 EXPECT_EQ(*A
, 7) << "Incorrect Expected non-error value";
542 // Test Expected with reference type.
543 TEST(Error
, ExpectedWithReferenceType
) {
545 Expected
<int&> B
= A
;
549 EXPECT_EQ(&A
, &C
) << "Expected failed to propagate reference";
552 // Test Unchecked Expected<T> in success mode.
553 // We expect this to blow up the same way Error would.
554 // Test runs in debug mode only.
555 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
556 TEST(Error
, UncheckedExpectedInSuccessModeDestruction
) {
557 EXPECT_DEATH({ Expected
<int> A
= 7; },
558 "Expected<T> must be checked before access or destruction.")
559 << "Unchecked Expected<T> success value did not cause an abort().";
563 // Test Unchecked Expected<T> in success mode.
564 // We expect this to blow up the same way Error would.
565 // Test runs in debug mode only.
566 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
567 TEST(Error
, UncheckedExpectedInSuccessModeAccess
) {
570 const Expected
<int> A
= 7;
573 "Expected<T> must be checked before access or destruction.")
574 << "Unchecked Expected<T> success value did not cause an abort().";
578 // Test Unchecked Expected<T> in success mode.
579 // We expect this to blow up the same way Error would.
580 // Test runs in debug mode only.
581 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
582 TEST(Error
, UncheckedExpectedInSuccessModeAssignment
) {
588 "Expected<T> must be checked before access or destruction.")
589 << "Unchecked Expected<T> success value did not cause an abort().";
593 // Test Expected<T> in failure mode.
594 TEST(Error
, ExpectedInFailureMode
) {
595 Expected
<int> A
= make_error
<CustomError
>(42);
596 EXPECT_FALSE(!!A
) << "Expected with error value doesn't convert to 'false'";
597 Error E
= A
.takeError();
598 EXPECT_TRUE(E
.isA
<CustomError
>()) << "Incorrect Expected error value";
599 consumeError(std::move(E
));
602 // Check that an Expected instance with an error value doesn't allow access to
604 // Test runs in debug mode only.
605 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
606 TEST(Error
, AccessExpectedInFailureMode
) {
607 Expected
<int> A
= make_error
<CustomError
>(42);
608 EXPECT_DEATH(*A
, "Expected<T> must be checked before access or destruction.")
609 << "Incorrect Expected error value";
610 consumeError(A
.takeError());
614 // Check that an Expected instance with an error triggers an abort if
616 // Test runs in debug mode only.
617 #if LLVM_ENABLE_ABI_BREAKING_CHECKS
618 TEST(Error
, UnhandledExpectedInFailureMode
) {
619 EXPECT_DEATH({ Expected
<int> A
= make_error
<CustomError
>(42); },
620 "Expected<T> must be checked before access or destruction.")
621 << "Unchecked Expected<T> failure value did not cause an abort()";
625 // Test covariance of Expected.
626 TEST(Error
, ExpectedCovariance
) {
628 class D
: public B
{};
630 Expected
<B
*> A1(Expected
<D
*>(nullptr));
631 // Check A1 by converting to bool before assigning to it.
633 A1
= Expected
<D
*>(nullptr);
634 // Check A1 again before destruction.
637 Expected
<std::unique_ptr
<B
>> A2(Expected
<std::unique_ptr
<D
>>(nullptr));
638 // Check A2 by converting to bool before assigning to it.
640 A2
= Expected
<std::unique_ptr
<D
>>(nullptr);
641 // Check A2 again before destruction.
645 // Test that handleExpected just returns success values.
646 TEST(Error
, HandleExpectedSuccess
) {
648 handleExpected(Expected
<int>(42),
649 []() { return Expected
<int>(43); });
650 EXPECT_TRUE(!!ValOrErr
)
651 << "handleExpected should have returned a success value here";
652 EXPECT_EQ(*ValOrErr
, 42)
653 << "handleExpected should have returned the original success value here";
656 enum FooStrategy
{ Aggressive
, Conservative
};
658 static Expected
<int> foo(FooStrategy S
) {
660 return make_error
<CustomError
>(7);
664 // Test that handleExpected invokes the error path if errors are not handled.
665 TEST(Error
, HandleExpectedUnhandledError
) {
666 // foo(Aggressive) should return a CustomError which should pass through as
667 // there is no handler for CustomError.
671 []() { return foo(Conservative
); });
673 EXPECT_FALSE(!!ValOrErr
)
674 << "handleExpected should have returned an error here";
675 auto Err
= ValOrErr
.takeError();
676 EXPECT_TRUE(Err
.isA
<CustomError
>())
677 << "handleExpected should have returned the CustomError generated by "
678 "foo(Aggressive) here";
679 consumeError(std::move(Err
));
682 // Test that handleExpected invokes the fallback path if errors are handled.
683 TEST(Error
, HandleExpectedHandledError
) {
684 // foo(Aggressive) should return a CustomError which should handle triggering
685 // the fallback path.
689 []() { return foo(Conservative
); },
690 [](const CustomError
&) { /* do nothing */ });
692 EXPECT_TRUE(!!ValOrErr
)
693 << "handleExpected should have returned a success value here";
694 EXPECT_EQ(*ValOrErr
, 42)
695 << "handleExpected returned the wrong success value";
698 TEST(Error
, ErrorCodeConversions
) {
699 // Round-trip a success value to check that it converts correctly.
700 EXPECT_EQ(errorToErrorCode(errorCodeToError(std::error_code())),
702 << "std::error_code() should round-trip via Error conversions";
704 // Round-trip an error value to check that it converts correctly.
705 EXPECT_EQ(errorToErrorCode(errorCodeToError(errc::invalid_argument
)),
706 errc::invalid_argument
)
707 << "std::error_code error value should round-trip via Error "
710 // Round-trip a success value through ErrorOr/Expected to check that it
711 // converts correctly.
713 auto Orig
= ErrorOr
<int>(42);
715 expectedToErrorOr(errorOrToExpected(ErrorOr
<int>(42)));
716 EXPECT_EQ(*Orig
, *RoundTripped
)
717 << "ErrorOr<T> success value should round-trip via Expected<T> "
721 // Round-trip a failure value through ErrorOr/Expected to check that it
722 // converts correctly.
724 auto Orig
= ErrorOr
<int>(errc::invalid_argument
);
727 errorOrToExpected(ErrorOr
<int>(errc::invalid_argument
)));
728 EXPECT_EQ(Orig
.getError(), RoundTripped
.getError())
729 << "ErrorOr<T> failure value should round-trip via Expected<T> "
734 // Test that error messages work.
735 TEST(Error
, ErrorMessage
) {
736 EXPECT_EQ(toString(Error::success()).compare(""), 0);
738 Error E1
= make_error
<CustomError
>(0);
739 EXPECT_EQ(toString(std::move(E1
)).compare("CustomError {0}"), 0);
741 Error E2
= make_error
<CustomError
>(0);
742 handleAllErrors(std::move(E2
), [](const CustomError
&CE
) {
743 EXPECT_EQ(CE
.message().compare("CustomError {0}"), 0);
746 Error E3
= joinErrors(make_error
<CustomError
>(0), make_error
<CustomError
>(1));
747 EXPECT_EQ(toString(std::move(E3
))
748 .compare("CustomError {0}\n"
753 TEST(Error
, Stream
) {
755 Error OK
= Error::success();
757 llvm::raw_string_ostream
S(Buf
);
759 EXPECT_EQ("success", S
.str());
760 consumeError(std::move(OK
));
763 Error E1
= make_error
<CustomError
>(0);
765 llvm::raw_string_ostream
S(Buf
);
767 EXPECT_EQ("CustomError {0}", S
.str());
768 consumeError(std::move(E1
));
772 TEST(Error
, SucceededMatcher
) {
773 EXPECT_THAT_ERROR(Error::success(), Succeeded());
774 EXPECT_NONFATAL_FAILURE(
775 EXPECT_THAT_ERROR(make_error
<CustomError
>(0), Succeeded()),
776 "Expected: succeeded\n Actual: failed (CustomError {0})");
778 EXPECT_THAT_EXPECTED(Expected
<int>(0), Succeeded());
779 EXPECT_NONFATAL_FAILURE(
780 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(0)),
782 "Expected: succeeded\n Actual: failed (CustomError {0})");
784 EXPECT_THAT_EXPECTED(Expected
<int &>(a
), Succeeded());
787 TEST(Error
, FailedMatcher
) {
788 EXPECT_THAT_ERROR(make_error
<CustomError
>(0), Failed());
789 EXPECT_NONFATAL_FAILURE(EXPECT_THAT_ERROR(Error::success(), Failed()),
790 "Expected: failed\n Actual: succeeded");
792 EXPECT_THAT_ERROR(make_error
<CustomError
>(0), Failed
<CustomError
>());
793 EXPECT_NONFATAL_FAILURE(
794 EXPECT_THAT_ERROR(Error::success(), Failed
<CustomError
>()),
795 "Expected: failed with Error of given type\n Actual: succeeded");
796 EXPECT_NONFATAL_FAILURE(
797 EXPECT_THAT_ERROR(make_error
<CustomError
>(0), Failed
<CustomSubError
>()),
798 "Error was not of given type");
799 EXPECT_NONFATAL_FAILURE(
801 joinErrors(make_error
<CustomError
>(0), make_error
<CustomError
>(1)),
802 Failed
<CustomError
>()),
806 make_error
<CustomError
>(0),
807 Failed
<CustomError
>(testing::Property(&CustomError::getInfo
, 0)));
808 EXPECT_NONFATAL_FAILURE(
810 make_error
<CustomError
>(0),
811 Failed
<CustomError
>(testing::Property(&CustomError::getInfo
, 1))),
812 "Expected: failed with Error of given type and the error is an object "
813 "whose given property is equal to 1\n"
814 " Actual: failed (CustomError {0})");
815 EXPECT_THAT_ERROR(make_error
<CustomError
>(0), Failed
<ErrorInfoBase
>());
817 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(0)), Failed());
818 EXPECT_NONFATAL_FAILURE(
819 EXPECT_THAT_EXPECTED(Expected
<int>(0), Failed()),
820 "Expected: failed\n Actual: succeeded with value 0");
821 EXPECT_THAT_EXPECTED(Expected
<int &>(make_error
<CustomError
>(0)), Failed());
824 TEST(Error
, HasValueMatcher
) {
825 EXPECT_THAT_EXPECTED(Expected
<int>(0), HasValue(0));
826 EXPECT_NONFATAL_FAILURE(
827 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(0)),
829 "Expected: succeeded with value (is equal to 0)\n"
830 " Actual: failed (CustomError {0})");
831 EXPECT_NONFATAL_FAILURE(
832 EXPECT_THAT_EXPECTED(Expected
<int>(1), HasValue(0)),
833 "Expected: succeeded with value (is equal to 0)\n"
834 " Actual: succeeded with value 1, (isn't equal to 0)");
837 EXPECT_THAT_EXPECTED(Expected
<int &>(a
), HasValue(testing::Eq(1)));
839 EXPECT_THAT_EXPECTED(Expected
<int>(1), HasValue(testing::Gt(0)));
840 EXPECT_NONFATAL_FAILURE(
841 EXPECT_THAT_EXPECTED(Expected
<int>(0), HasValue(testing::Gt(1))),
842 "Expected: succeeded with value (is > 1)\n"
843 " Actual: succeeded with value 0, (isn't > 1)");
844 EXPECT_NONFATAL_FAILURE(
845 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(0)),
846 HasValue(testing::Gt(1))),
847 "Expected: succeeded with value (is > 1)\n"
848 " Actual: failed (CustomError {0})");
851 TEST(Error
, FailedWithMessageMatcher
) {
852 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(0)),
853 FailedWithMessage("CustomError {0}"));
855 EXPECT_NONFATAL_FAILURE(
856 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(1)),
857 FailedWithMessage("CustomError {0}")),
858 "Expected: failed with Error whose message has 1 element that is equal "
859 "to \"CustomError {0}\"\n"
860 " Actual: failed (CustomError {1})");
862 EXPECT_NONFATAL_FAILURE(
863 EXPECT_THAT_EXPECTED(Expected
<int>(0),
864 FailedWithMessage("CustomError {0}")),
865 "Expected: failed with Error whose message has 1 element that is equal "
866 "to \"CustomError {0}\"\n"
867 " Actual: succeeded with value 0");
869 EXPECT_NONFATAL_FAILURE(
870 EXPECT_THAT_EXPECTED(Expected
<int>(make_error
<CustomError
>(0)),
871 FailedWithMessage("CustomError {0}", "CustomError {0}")),
872 "Expected: failed with Error whose message has 2 elements where\n"
873 "element #0 is equal to \"CustomError {0}\",\n"
874 "element #1 is equal to \"CustomError {0}\"\n"
875 " Actual: failed (CustomError {0}), which has 1 element");
877 EXPECT_NONFATAL_FAILURE(
878 EXPECT_THAT_EXPECTED(
879 Expected
<int>(joinErrors(make_error
<CustomError
>(0),
880 make_error
<CustomError
>(0))),
881 FailedWithMessage("CustomError {0}")),
882 "Expected: failed with Error whose message has 1 element that is equal "
883 "to \"CustomError {0}\"\n"
884 " Actual: failed (CustomError {0}; CustomError {0}), which has 2 elements");
887 joinErrors(make_error
<CustomError
>(0), make_error
<CustomError
>(0)),
888 FailedWithMessageArray(testing::SizeIs(2)));
892 EXPECT_THAT_ERROR(unwrap(wrap(Error::success())), Succeeded())
893 << "Failed to round-trip Error success value via C API";
894 EXPECT_THAT_ERROR(unwrap(wrap(make_error
<CustomError
>(0))),
895 Failed
<CustomError
>())
896 << "Failed to round-trip Error failure value via C API";
899 wrap(make_error
<StringError
>("test message", inconvertibleErrorCode()));
900 EXPECT_EQ(LLVMGetErrorTypeId(Err
), LLVMGetStringErrorTypeId())
901 << "Failed to match error type ids via C API";
902 char *ErrMsg
= LLVMGetErrorMessage(Err
);
903 EXPECT_STREQ(ErrMsg
, "test message")
904 << "Failed to roundtrip StringError error message via C API";
905 LLVMDisposeErrorMessage(ErrMsg
);
910 unwrap(wrap(joinErrors(make_error
<CustomSubError
>(42, 7),
911 make_error
<CustomError
>(42)))),
912 [&](CustomSubError
&CSE
) {
915 [&](CustomError
&CE
) {
918 EXPECT_TRUE(GotCSE
) << "Failed to round-trip ErrorList via C API";
919 EXPECT_TRUE(GotCE
) << "Failed to round-trip ErrorList via C API";
922 TEST(Error
, FileErrorTest
) {
923 #if !defined(NDEBUG) && GTEST_HAS_DEATH_TEST
926 Error S
= Error::success();
927 consumeError(createFileError("file.bin", std::move(S
)));
931 // Not allowed, would fail at compile-time
932 //consumeError(createFileError("file.bin", ErrorSuccess()));
934 Error E1
= make_error
<CustomError
>(1);
935 Error FE1
= createFileError("file.bin", std::move(E1
));
936 EXPECT_EQ(toString(std::move(FE1
)).compare("'file.bin': CustomError {1}"), 0);
938 Error E2
= make_error
<CustomError
>(2);
939 Error FE2
= createFileError("file.bin", std::move(E2
));
940 handleAllErrors(std::move(FE2
), [](const FileError
&F
) {
941 EXPECT_EQ(F
.message().compare("'file.bin': CustomError {2}"), 0);
944 Error E3
= make_error
<CustomError
>(3);
945 Error FE3
= createFileError("file.bin", std::move(E3
));
946 auto E31
= handleErrors(std::move(FE3
), [](std::unique_ptr
<FileError
> F
) {
947 return F
->takeError();
949 handleAllErrors(std::move(E31
), [](const CustomError
&C
) {
950 EXPECT_EQ(C
.message().compare("CustomError {3}"), 0);
954 joinErrors(createFileError("file.bin", make_error
<CustomError
>(41)),
955 createFileError("file2.bin", make_error
<CustomError
>(42)));
956 EXPECT_EQ(toString(std::move(FE4
))
957 .compare("'file.bin': CustomError {41}\n"
958 "'file2.bin': CustomError {42}"),
962 enum class test_error_code
{
968 } // end anon namespace
972 struct is_error_code_enum
<test_error_code
> : std::true_type
{};
977 const std::error_category
&TErrorCategory();
979 inline std::error_code
make_error_code(test_error_code E
) {
980 return std::error_code(static_cast<int>(E
), TErrorCategory());
983 class TestDebugError
: public ErrorInfo
<TestDebugError
, StringError
> {
985 using ErrorInfo
<TestDebugError
, StringError
>::ErrorInfo
; // inherit constructors
986 TestDebugError(const Twine
&S
) : ErrorInfo(S
, test_error_code::unspecified
) {}
990 class TestErrorCategory
: public std::error_category
{
992 const char *name() const noexcept override
{ return "error"; }
993 std::string
message(int Condition
) const override
{
994 switch (static_cast<test_error_code
>(Condition
)) {
995 case test_error_code::unspecified
:
996 return "An unknown error has occurred.";
997 case test_error_code::error_1
:
999 case test_error_code::error_2
:
1002 llvm_unreachable("Unrecognized test_error_code");
1006 static llvm::ManagedStatic
<TestErrorCategory
> TestErrCategory
;
1007 const std::error_category
&TErrorCategory() { return *TestErrCategory
; }
1009 char TestDebugError::ID
;
1011 TEST(Error
, SubtypeStringErrorTest
) {
1012 auto E1
= make_error
<TestDebugError
>(test_error_code::error_1
);
1013 EXPECT_EQ(toString(std::move(E1
)).compare("Error 1."), 0);
1015 auto E2
= make_error
<TestDebugError
>(test_error_code::error_1
,
1016 "Detailed information");
1017 EXPECT_EQ(toString(std::move(E2
)).compare("Error 1. Detailed information"),
1020 auto E3
= make_error
<TestDebugError
>(test_error_code::error_2
);
1021 handleAllErrors(std::move(E3
), [](const TestDebugError
&F
) {
1022 EXPECT_EQ(F
.message().compare("Error 2."), 0);
1025 auto E4
= joinErrors(make_error
<TestDebugError
>(test_error_code::error_1
,
1026 "Detailed information"),
1027 make_error
<TestDebugError
>(test_error_code::error_2
));
1028 EXPECT_EQ(toString(std::move(E4
))
1029 .compare("Error 1. Detailed information\n"