cppfront/regression-tests/test-results/pure2-assert-optional-not-null.cpp at f085661dc105d63a30ba92f11e324dc36c7439cc · LT2H/cppfront · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

#define CPP2_INCLUDE_STD         Yes

//=== Cpp2 type declarations ====================================================


#include "cpp2util.h"

#line 1 "pure2-assert-optional-not-null.cpp2"


//=== Cpp2 type definitions and function declarations ===========================

#line 1 "pure2-assert-optional-not-null.cpp2"

#line 2 "pure2-assert-optional-not-null.cpp2"
[[nodiscard]] auto fine() -> int;

#line 11 "pure2-assert-optional-not-null.cpp2"
[[nodiscard]] auto bad_optional_access() -> int;

#line 17 "pure2-assert-optional-not-null.cpp2"
[[nodiscard]] auto main() -> int;

//=== Cpp2 function definitions =================================================

#line 1 "pure2-assert-optional-not-null.cpp2"

#line 2 "pure2-assert-optional-not-null.cpp2"
[[nodiscard]] auto fine() -> int
{
    auto up {CPP2_UFCS_TEMPLATE(cpp2_new<int>)(cpp2::unique, 1)};
    auto sp {CPP2_UFCS_TEMPLATE(cpp2_new<int>)(cpp2::shared, 2)};
    std::optional<int> op {3};

    return *cpp2::impl::assert_not_null(cpp2::move(up)) + *cpp2::impl::assert_not_null(cpp2::move(sp)) + *cpp2::impl::assert_not_null(cpp2::move(op));
}

#line 11 "pure2-assert-optional-not-null.cpp2"
[[nodiscard]] auto bad_optional_access() -> int
{
    std::optional<int> op {std::nullopt};
    return *cpp2::impl::assert_not_null(cpp2::move(op));
}

#line 17 "pure2-assert-optional-not-null.cpp2"
[[nodiscard]] auto main() -> int
{
    std::set_terminate(std::abort);
    return fine() + bad_optional_access();
}