1 // { dg-options "-g -O0" }
2 // { dg-do run { target c++17 } }
4 // Copyright (C) 2014-2023 Free Software Foundation, Inc.
6 // This file is part of the GNU ISO C++ Library. This library is free
7 // software; you can redistribute it and/or modify it under the
8 // terms of the GNU General Public License as published by the
9 // Free Software Foundation; either version 3, or (at your option)
12 // This library is distributed in the hope that it will be useful,
13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 // GNU General Public License for more details.
17 // You should have received a copy of the GNU General Public License along
18 // with this library; see the file COPYING3. If not see
19 // <http://www.gnu.org/licenses/>.
25 #include <string_view>
28 #include <unordered_set>
35 using std::string_view
;
37 using std::unordered_set
;
38 using std::shared_ptr
;
43 X(const X
&) { } // not trivially-copyable
49 string_view str
= "string";
50 // { dg-final { note-test str "\"string\"" } }
53 // { dg-final { note-test o {std::optional [no contained value]} } }
54 optional
<bool> ob
{false};
55 // { dg-final { note-test ob {std::optional = {[contained value] = false}} } }
57 // { dg-final { note-test oi {std::optional = {[contained value] = 5}} } }
58 optional
<void*> op
{nullptr};
59 // { dg-final { note-test op {std::optional = {[contained value] = 0x0}} } }
60 optional
<std::map
<int, double>> om
;
61 om
= std::map
<int, double>{ {1, 2.}, {3, 4.}, {5, 6.} };
62 // { dg-final { regexp-test om {std::optional containing std::(__debug::)?map with 3 elements = {\[1\] = 2, \[3\] = 4, \[5\] = 6}} } }
63 optional
<std::string
> os
{ "stringy" };
64 // { dg-final { note-test os {std::optional = {[contained value] = "stringy"}} } }
67 // { dg-final { note-test a {std::any [no contained value]} } }
69 // { dg-final { note-test ab {std::any containing bool = {[contained value] = false}} } }
71 // { dg-final { note-test ai {std::any containing int = {[contained value] = 6}} } }
72 any ap
= (void*)nullptr;
73 // { dg-final { note-test ap {std::any containing void * = {[contained value] = 0x0}} } }
75 // { dg-final { note-test as {std::any containing std::string = {[contained value] = "stringy"}} } }
76 any
as2("stringiest");
77 // { dg-final { regexp-test as2 {std::any containing const char \* = {\[contained value\] = 0x[[:xdigit:]]+ "stringiest"}} } }
79 // { dg-final { regexp-test am {std::any containing std::(__debug::)?map with 3 elements = {\[1\] = 2, \[3\] = 4, \[5\] = 6}} } }
80 struct local_type
{ int i
= 99; };
81 any al
= local_type
{};
82 // { dg-final { note-test al {std::any containing local_type = {[contained value] = {i = 99}}} } }
84 struct S
{ operator int() { throw 42; }};
85 variant
<float, int, string_view
> v0
;
86 // { dg-final { note-test v0 {std::variant [index 0] = {0}} } }
87 variant
<float, int, string_view
> v1
{ 0.5f
};
88 // { dg-final { note-test v1 {std::variant [index 0] = {0.5}} } }
89 variant
<float, X
, string_view
> v2
;
93 // { dg-final { note-test v2 {std::variant [no contained value]} } }
94 variant
<float, int, string_view
> v3
{ 3 };
95 // { dg-final { note-test v3 {std::variant [index 1] = {3}} } }
96 variant
<float, int, string_view
> v4
{ str
};
97 // { dg-final { note-test v4 {std::variant [index 2] = {"string"}} } }
99 map
<int, string_view
> m
{ {1, "one"} };
100 map
<int, string_view
>::node_type n0
;
101 // { dg-final { note-test n0 {empty node handle for map}}}
102 map
<int, string_view
>::node_type n1
= m
.extract(1);
103 // { dg-final { note-test n1 {node handle for map with element = {{first = 1, second = "two"}}}}}
105 unordered_set
<int> s
{ 3, 4 };
106 unordered_set
<int>::node_type n2
;
107 // { dg-final { note-test n2 {empty node handle for unordered set}}}
108 unordered_set
<int>::node_type n3
= s
.extract(3);
109 // { dg-final { note-test n1 {node handle for unordered set with element = {3}}}}
111 shared_ptr
<int[]> p(new int[1]);
114 // { dg-final { regexp-test p {std::shared_ptr.int \[\]. \(use count 1, weak count 2\) = {get\(\) = 0x.*}} } }
115 // { dg-final { regexp-test wp {std::weak_ptr.int \[\]. \(use count 1, weak count 2\) = {get\(\) = 0x.*}} } }
117 shared_ptr
<int[2]> q(new int[2]);
120 // { dg-final { regexp-test q {std::shared_ptr.int \[2\]. \(use count 2, weak count 1\) = {get\(\) = 0x.*}} } }
121 // { dg-final { regexp-test wq {std::weak_ptr.int \[2\]. \(use count 2, weak count 1\) = {get\(\) = 0x.*}} } }
123 std::filesystem::path path0
;
124 // { dg-final { note-test path0 {filesystem::path ""} } }
125 std::filesystem::path
path1("filename");
126 // { dg-final { note-test path1 {filesystem::path "filename"} } }
127 std::filesystem::path
path2("/dir/.");
128 // { dg-final { note-test path2 {filesystem::path "/dir/." = {[root-directory] = "/", [1] = "dir", [2] = "."}} } }
131 return 0; // Mark SPOT
134 // { dg-final { gdb-test SPOT } }