This works around PR 93978 by avoiding having to instantiate the body of
ranges::empty() when checking the constraints of view_interface::operator
bool(). When ranges::empty() has an auto return type, then we must instantiate
its body in order to determine whether the requires expression {
ranges::empty(_M_derived()); } is well-formed. But this means instantiating
view_interface::empty() and hence view_interface::_M_derived(), all before we've
yet deduced the return type of join_view::end(). (The reason
view_interface::operator bool() is needed in join_view::end() in the first place
is because in this function we perform direct initialization of
join_view::_Sentinel from a join_view, and so we try to find a conversion
sequence from the latter to the former that goes through this conversion
operator.)
Giving ranges::empty() a concrete return type of bool should be safe according
to [range.prim.empty]/4 which says "whenever ranges::empty(E) is a valid
expression, it has type bool."
This fixes the test case in PR 93978 when compiling without -Wall, but with -Wall
the test case still fails due to the issue described in PR c++/94038, I think.
I still don't quite understand why the test case doesn't fail without -O.
libstdc++-v3/ChangeLog:
PR libstdc++/93978
* include/bits/range_access.h (__cust_access::_Empty::operator()):
Declare return type to be bool instead of auto.
* testsuite/std/ranges/adaptors/93978.cc: New test.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| algorithmfwd.h | Loading commit data... | |
| alloc_traits.h | Loading commit data... | |
| allocated_ptr.h | Loading commit data... | |
| allocator.h | Loading commit data... | |
| atomic_base.h | Loading commit data... | |
| atomic_futex.h | Loading commit data... | |
| basic_ios.h | Loading commit data... | |
| basic_ios.tcc | Loading commit data... | |
| basic_string.h | Loading commit data... | |
| basic_string.tcc | Loading commit data... | |
| boost_concept_check.h | Loading commit data... | |
| c++0x_warning.h | Loading commit data... | |
| c++config | Loading commit data... | |
| char_traits.h | Loading commit data... | |
| charconv.h | Loading commit data... | |
| codecvt.h | Loading commit data... | |
| concept_check.h | Loading commit data... | |
| cpp_type_traits.h | Loading commit data... | |
| deque.tcc | Loading commit data... | |
| enable_special_members.h | Loading commit data... | |
| erase_if.h | Loading commit data... | |
| forward_list.h | Loading commit data... | |
| forward_list.tcc | Loading commit data... | |
| fs_dir.h | Loading commit data... | |
| fs_fwd.h | Loading commit data... | |
| fs_ops.h | Loading commit data... | |
| fs_path.h | Loading commit data... | |
| fstream.tcc | Loading commit data... | |
| functexcept.h | Loading commit data... | |
| functional_hash.h | Loading commit data... | |
| gslice.h | Loading commit data... | |
| gslice_array.h | Loading commit data... | |
| hashtable.h | Loading commit data... | |
| hashtable_policy.h | Loading commit data... | |
| indirect_array.h | Loading commit data... | |
| int_limits.h | Loading commit data... | |
| invoke.h | Loading commit data... | |
| ios_base.h | Loading commit data... | |
| istream.tcc | Loading commit data... | |
| iterator_concepts.h | Loading commit data... | |
| list.tcc | Loading commit data... | |
| locale_classes.h | Loading commit data... | |
| locale_classes.tcc | Loading commit data... | |
| locale_conv.h | Loading commit data... | |
| locale_facets.h | Loading commit data... | |
| locale_facets.tcc | Loading commit data... | |
| locale_facets_nonio.h | Loading commit data... | |
| locale_facets_nonio.tcc | Loading commit data... | |
| localefwd.h | Loading commit data... | |
| mask_array.h | Loading commit data... | |
| memoryfwd.h | Loading commit data... | |
| move.h | Loading commit data... | |
| node_handle.h | Loading commit data... | |
| ostream.tcc | Loading commit data... | |
| ostream_insert.h | Loading commit data... | |
| parse_numbers.h | Loading commit data... | |
| postypes.h | Loading commit data... | |
| predefined_ops.h | Loading commit data... | |
| ptr_traits.h | Loading commit data... | |
| quoted_string.h | Loading commit data... | |
| random.h | Loading commit data... | |
| random.tcc | Loading commit data... | |
| range_access.h | Loading commit data... | |
| range_cmp.h | Loading commit data... | |
| ranges_algo.h | Loading commit data... | |
| ranges_algobase.h | Loading commit data... | |
| ranges_uninitialized.h | Loading commit data... | |
| refwrap.h | Loading commit data... | |
| regex.h | Loading commit data... | |
| regex.tcc | Loading commit data... | |
| regex_automaton.h | Loading commit data... | |
| regex_automaton.tcc | Loading commit data... | |
| regex_compiler.h | Loading commit data... | |
| regex_compiler.tcc | Loading commit data... | |
| regex_constants.h | Loading commit data... | |
| regex_error.h | Loading commit data... | |
| regex_executor.h | Loading commit data... | |
| regex_executor.tcc | Loading commit data... | |
| regex_scanner.h | Loading commit data... | |
| regex_scanner.tcc | Loading commit data... | |
| shared_ptr.h | Loading commit data... | |
| shared_ptr_atomic.h | Loading commit data... | |
| shared_ptr_base.h | Loading commit data... | |
| slice_array.h | Loading commit data... | |
| specfun.h | Loading commit data... | |
| sstream.tcc | Loading commit data... | |
| std_abs.h | Loading commit data... | |
| std_function.h | Loading commit data... | |
| std_mutex.h | Loading commit data... | |
| stl_algo.h | Loading commit data... | |
| stl_algobase.h | Loading commit data... | |
| stl_bvector.h | Loading commit data... | |
| stl_construct.h | Loading commit data... | |
| stl_deque.h | Loading commit data... | |
| stl_function.h | Loading commit data... | |
| stl_heap.h | Loading commit data... | |
| stl_iterator.h | Loading commit data... | |
| stl_iterator_base_funcs.h | Loading commit data... | |
| stl_iterator_base_types.h | Loading commit data... | |
| stl_list.h | Loading commit data... | |
| stl_map.h | Loading commit data... | |
| stl_multimap.h | Loading commit data... | |
| stl_multiset.h | Loading commit data... | |
| stl_numeric.h | Loading commit data... | |
| stl_pair.h | Loading commit data... | |
| stl_queue.h | Loading commit data... | |
| stl_raw_storage_iter.h | Loading commit data... | |
| stl_relops.h | Loading commit data... | |
| stl_set.h | Loading commit data... | |
| stl_stack.h | Loading commit data... | |
| stl_tempbuf.h | Loading commit data... | |
| stl_tree.h | Loading commit data... | |
| stl_uninitialized.h | Loading commit data... | |
| stl_vector.h | Loading commit data... | |
| stream_iterator.h | Loading commit data... | |
| streambuf.tcc | Loading commit data... | |
| streambuf_iterator.h | Loading commit data... | |
| string_view.tcc | Loading commit data... | |
| stringfwd.h | Loading commit data... | |
| uniform_int_dist.h | Loading commit data... | |
| unique_lock.h | Loading commit data... | |
| unique_ptr.h | Loading commit data... | |
| unordered_map.h | Loading commit data... | |
| unordered_set.h | Loading commit data... | |
| uses_allocator.h | Loading commit data... | |
| valarray_after.h | Loading commit data... | |
| valarray_array.h | Loading commit data... | |
| valarray_array.tcc | Loading commit data... | |
| valarray_before.h | Loading commit data... | |
| vector.tcc | Loading commit data... |