GCC Code Coverage Report

Directory: libs/http_proto/
File: include/boost/http_proto/detail/impl/workspace.hpp
Date: 2025-01-06 18:34:49
Exec Total Coverage
Lines: 48 49 98.0%
Functions: 46 46 100.0%
Branches: 14 21 66.7%
Line Branch Exec Source
1 //
2 // Copyright (c) 2019 Vinnie Falco (vinnie.falco@gmail.com)
3 //
4 // Distributed under the Boost Software License, Version 1.0. (See accompanying
5 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 //
7 // Official repository: https://github.com/cppalliance/http_proto
8 //
9
10 #ifndef BOOST_HTTP_PROTO_DETAIL_IMPL_WORKSPACE_HPP
11 #define BOOST_HTTP_PROTO_DETAIL_IMPL_WORKSPACE_HPP
12
13 #include <boost/config.hpp>
14
15 namespace boost {
16 namespace http_proto {
17 namespace detail {
18
19 #if defined(BOOST_MSVC)
20 #pragma warning(push)
21 #pragma warning(disable : 4324) /* structure was padded due to __declspec(align()) */
22 #endif
23
24 struct workspace::any
25 {
26 any* next = nullptr;
27
28 BOOST_HTTP_PROTO_DECL
29 virtual ~any() = 0;
30 };
31
32 template<class U>
33 struct alignas(alignof(::max_align_t))
34 workspace::any_impl : any
35 {
36 U u;
37
38 any_impl(any_impl const&) = delete;
39 any_impl(any_impl&&) = delete;
40
41 template<class... Args>
42 1734 explicit any_impl(Args&&... args)
43
3/4
✓ Branch 4 taken 72 times.
✓ Branch 5 taken 122 times.
✓ Branch 6 taken 48 times.
✗ Branch 7 not taken.
 1734 : u(std::forward<Args>(args)...)
44 {
45 1734 }
46 };
47
48 struct workspace::undo
49 {
50 explicit
51 1027 undo(workspace& ws0) noexcept
52 1027 : ws_(ws0)
53 1027 , head_(ws0.head_)
54 {
55 1027 }
56
57 1027 ~undo()
58 {
59
1/2
✗ Branch 0 not taken.
✓ Branch 1 taken 1027 times.
 1027 if(head_)
60 ✗ ws_.head_ = head_;
61 1027 }
62
63 void
64 1027 commit() noexcept
65 {
66 1027 head_ = nullptr;
67 1027 }
68
69 private:
70 workspace& ws_;
71 unsigned char* head_;
72 };
73
74 template<class T>
75 constexpr
76 std::size_t
77 52 workspace::
78 space_needed()
79 {
80 using U = typename std::decay<T>::type;
81
82 static_assert(
83 alignof(U) <= alignof(::max_align_t),
84 "Overaligned types not supported");
85
86 52 return sizeof(any_impl<U>);
87 }
88
89 template<class T, class... Args>
90 auto
91 1734 workspace::
92 emplace(Args&&... args) ->
93 typename std::decay<T>::type&
94 {
95 static_assert(
96 alignof(T) <= alignof(::max_align_t),
97 "Overaligned types not supported");
98
99 using U = any_impl<typename
100 std::decay<T>::type>;
101
102 1734 undo u(*this);
103 1734 auto prev_head = head_;
104
1/2
✓ Branch 1 taken 928 times.
✗ Branch 2 not taken.
 1734 head_ = bump_down(sizeof(U), alignof(U));
105
4/7
✓ Branch 3 taken 323 times.
✓ Branch 4 taken 72 times.
✓ Branch 5 taken 122 times.
✓ Branch 6 taken 48 times.
✗ Branch 7 not taken.
✗ Branch 8 not taken.
✗ Branch 9 not taken.
 1734 auto p = ::new(head_) U(
106 std::forward<Args>(args)...);
107 1734 u.commit();
108 1734 p->next = reinterpret_cast<
109 any*>(prev_head);
110 1734 return p->u;
111 1734 }
112
113 template<class T>
114 T*
115 99 workspace::
116 push_array(
117 std::size_t n,
118 T const& t)
119 {
120 struct alignas(alignof(::max_align_t))
121 U : any
122 {
123 std::size_t n_ = 0;
124
125 99 U() = default;
126 198 ~U()
127 {
128 198 for(std::size_t i = n_;
129
2/2
✓ Branch 0 taken 693 times.
✓ Branch 1 taken 99 times.
 1584 i-- > 0;)
130 1386 data()[i].~T();
131 396 }
132
133 99 U( std::size_t n,
134 T const& t)
135 99 : U()
136 {
137
2/2
✓ Branch 0 taken 693 times.
✓ Branch 1 taken 99 times.
 792 while(n_ < n)
138 {
139 693 new(&data()[n_]) T(t);
140 693 ++n_;
141 }
142 99 }
143
144 1485 T* data() noexcept
145 {
146 return reinterpret_cast<
147 1485 T*>(this + 1);
148 }
149 };
150
151 99 undo u(*this);
152 99 auto prev_head = head_;
153 198 head_ = bump_down(
154
1/2
✓ Branch 1 taken 99 times.
✗ Branch 2 not taken.
 99 sizeof(U) + n * sizeof(T),
155 alignof(::max_align_t));
156 99 auto p = ::new(head_) U(n, t);
157 99 u.commit();
158 99 p->next = reinterpret_cast<
159 any*>(prev_head);
160 198 return p->data();
161 99 }
162
163 #if defined(BOOST_MSVC)
164 #pragma warning(pop) /* C4324 */
165 #endif
166
167 } // detail
168 } // http_proto
169 } // boost
170
171 #endif
172