On Mon, 21 Jul 2025, 12:18 Luc Grosheintz, <luc.groshei...@gmail.com> wrote:
> TLDR; there should be patches in review for everything reported > here. > > Thank you for running the libc++ tests! Let me know if you change > your mind and think it would be good if I learnt to run their tests. > I'm optimistic (or deluded) I can eventually figure it out. > We created a script to do it easily, which Patrick has been testing and he should be able to share it with you. You just need a bash script and a config file, then it's a single command. Now that I think of it, the script has a #!/bin/sh shebang which should be bash, but nevermind. > On 7/15/25 13:35, Jonathan Wakely wrote: > > OK here are the details for all of the failing tests ... > > > > std/containers/views/mdspan/aligned_accessor/access.pass.cpp > > > std/containers/views/mdspan/aligned_accessor/ctor.conversion.from.default_accessor.pass.cpp > > std/containers/views/mdspan/aligned_accessor/ctor.conversion.pass.cpp > > std/containers/views/mdspan/aligned_accessor/ctor.default.pass.cpp > > std/containers/views/mdspan/aligned_accessor/offset.pass.cpp > > > std/containers/views/mdspan/aligned_accessor/operator.conversion.to.default_accessor.pass.cpp > > std/containers/views/mdspan/aligned_accessor/types.pass.cpp > > > > We don't support aligned_accessor yet. > > Currently in review (v2): > https://gcc.gnu.org/pipermail/libstdc++/2025-July/062712.html > > > > > std/containers/views/mdspan/extents/ctor_from_array.pass.cpp > > std/containers/views/mdspan/extents/ctor_from_span.pass.cpp > > > > These are both the same issue as Bug 121061: > > static_assert(!std::is_constructible_v<std::dextents<int, 1>, > > std::span<IntLike, 1>>); > > > > std/containers/views/mdspan/extents/dims.pass.cpp > > > > We don't support std:::dims > > Currently in review (v2): > https://gcc.gnu.org/pipermail/libstdc++/2025-July/062709.html > > > > > > std/containers/views/mdspan/layout_stride/is_exhaustive_corner_case.pass.cpp > > > > Somebody needs to analyze this one. > > Tomasz exlained it nicely. > > > > > std/containers/views/mdspan/layout_stride/properties.pass.cpp > > > > This looks similar, is_always_exhaustive() is giving the wrong answer > > in some case. > > IIUC, same argument applies. > > > > > std/containers/views/mdspan/mdspan/ctor.default.pass.cpp > > > > This is checking for a noexcept default ctor. > > Patches submitted (v1): > https://gcc.gnu.org/pipermail/libstdc++/2025-July/062719.html > > > > > std/containers/views/mdspan/mdspan/ctor.dh_array.pass.cpp > > std/containers/views/mdspan/mdspan/ctor.dh_span.pass.cpp > > > > These are Bug 121061 > > Fixes merged: > https://gcc.gnu.org/pipermail/libstdc++/2025-July/062612.html > > > > > std/containers/views/mdspan/mdspan/index_operator.pass.cpp > > > > Dunno what's happening here: > > > > std/containers/views/mdspan/mdspan/index_operator.pass.cpp:178:46: > > in 'constexpr' expansion of > > 'check_operator_constraints<std::mdspan<int, std::extents<i > > nt, 18446744073709551615>, std::layout_left, > > std::default_accessor<int> >, std::array<IntConfig<false, true, true, > > true>, 1> >(std::mdspan<int, std::extents > > <int, 18446744073709551615>, std::layout_left, > > std::default_accessor<int> >(((int*)(& data)), > > construct_mapping<std::extents<int, 18446744073709551615> >((s > > td::layout_left(), std::layout_left()), std::extents<int, > > 18446744073709551615>(1))), std::array<IntConfig<false, true, true, > > true>, 1>{std::__array_traits< > > IntConfig<false, true, true, true>, 1>::_Type{IntConfig<false, true, > > true, true>{0}}})' > > /home/jwakely/gcc/16/include/c++/16.0.0/mdspan:1234:25: error: no > > match for 'operator[]' (operand types are 'const std::mdspan<int, > > std::extents<int, 184467 > > 44073709551615>, std::layout_left, std::default_accessor<int> >' and > > 'std::span<const IntConfig<false, true, true, true>, 1>') > > 1234 | { return (*this)[span<const _OIndexType, > rank()>(__indices)]; } > > | ~~~~~~~^ > > > > Same bug. > > > > > std/containers/views/mdspan/mdspan/properties.pass.cpp > > > > Many many failures like this: > > > > std/containers/views/mdspan/mdspan/properties.pass.cpp:146:17: error: > > static assertion failed > > 146 | static_assert(noexcept(MDS::is_always_unique())); > > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > std/containers/views/mdspan/mdspan/properties.pass.cpp:146:17: note: > > 'false' evaluates to false > > std/containers/views/mdspan/mdspan/properties.pass.cpp:147:17: error: > > static assertion failed > > 147 | static_assert(noexcept(MDS::is_always_exhaustive())); > > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > std/containers/views/mdspan/mdspan/properties.pass.cpp:147:17: note: > > 'false' evaluates to false > > std/containers/views/mdspan/mdspan/properties.pass.cpp:148:17: error: > > static assertion failed > > 148 | static_assert(noexcept(MDS::is_always_strided())); > > | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > > > Submitted patches: > https://gcc.gnu.org/pipermail/libstdc++/2025-July/062718.html > >
