aboutsummaryrefslogtreecommitdiff
path: root/test/std/utilities/optional
diff options
context:
space:
mode:
authorDimitry Andric <dim@FreeBSD.org>2017-06-10 13:44:41 +0000
committerDimitry Andric <dim@FreeBSD.org>2017-06-10 13:44:41 +0000
commit74c4bc8d0eddcb4786594f1c6b598094fac43859 (patch)
treeb52af5df113676d27ce94f2a11b1b73f28e1e0a1 /test/std/utilities/optional
parent7c5c4ef25000522f341d2edb21344a2fe2b881ad (diff)
Notes
Diffstat (limited to 'test/std/utilities/optional')
-rw-r--r--test/std/utilities/optional/optional.object/optional.object.mod/reset.pass.cpp2
-rw-r--r--test/std/utilities/optional/optional.object/optional.object.observe/value_or.pass.cpp20
2 files changed, 13 insertions, 9 deletions
diff --git a/test/std/utilities/optional/optional.object/optional.object.mod/reset.pass.cpp b/test/std/utilities/optional/optional.object/optional.object.mod/reset.pass.cpp
index cee73da849b6..8fcd1860843d 100644
--- a/test/std/utilities/optional/optional.object/optional.object.mod/reset.pass.cpp
+++ b/test/std/utilities/optional/optional.object/optional.object.mod/reset.pass.cpp
@@ -48,7 +48,6 @@ int main()
assert(X::dtor_called == false);
assert(static_cast<bool>(opt) == false);
}
- assert(X::dtor_called == false); // TRANSITION, Clang/C2 VSO#239997
{
optional<X> opt(X{});
X::dtor_called = false;
@@ -57,5 +56,4 @@ int main()
assert(static_cast<bool>(opt) == false);
X::dtor_called = false;
}
- assert(X::dtor_called == false); // TRANSITION, Clang/C2 VSO#239997
}
diff --git a/test/std/utilities/optional/optional.object/optional.object.observe/value_or.pass.cpp b/test/std/utilities/optional/optional.object/optional.object.observe/value_or.pass.cpp
index c219e9704716..f94dcabde513 100644
--- a/test/std/utilities/optional/optional.object/optional.object.observe/value_or.pass.cpp
+++ b/test/std/utilities/optional/optional.object/optional.object.observe/value_or.pass.cpp
@@ -10,7 +10,7 @@
// UNSUPPORTED: c++98, c++03, c++11, c++14
// <optional>
-// template <class U> T optional<T>::value_or(U&& v) &&;
+// template <class U> constexpr T optional<T>::value_or(U&& v) &&;
#include <optional>
#include <type_traits>
@@ -26,22 +26,22 @@ struct Y
{
int i_;
- Y(int i) : i_(i) {}
+ constexpr Y(int i) : i_(i) {}
};
struct X
{
int i_;
- X(int i) : i_(i) {}
- X(X&& x) : i_(x.i_) {x.i_ = 0;}
- X(const Y& y) : i_(y.i_) {}
- X(Y&& y) : i_(y.i_+1) {}
+ constexpr X(int i) : i_(i) {}
+ constexpr X(X&& x) : i_(x.i_) {x.i_ = 0;}
+ constexpr X(const Y& y) : i_(y.i_) {}
+ constexpr X(Y&& y) : i_(y.i_+1) {}
friend constexpr bool operator==(const X& x, const X& y)
{return x.i_ == y.i_;}
};
-int main()
+constexpr int test()
{
{
optional<X> opt(in_place, 2);
@@ -65,4 +65,10 @@ int main()
assert(std::move(opt).value_or(Y(3)) == 4);
assert(!opt);
}
+ return 0;
+}
+
+int main()
+{
+ static_assert(test() == 0);
}