[Bug c++/116958] std::views::transform loses track of the range size

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116958

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|libstdc++                   |c++
             Status|ASSIGNED                    |UNCONFIRMED
   Target Milestone|15.0                        |---
   Last reconfirmed|2024-10-03 00:00:00         |
           Assignee|redi at gcc dot gnu.org            |unassigned at gcc dot 
gnu.org
     Ever confirmed|1                           |0
         Depends on|111055                      |

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There is some undefined code going on:


  struct vector & _2(D);

  retvalptr.184_10 = _2(D);



Comes from:
struct vector
std::ranges::views::__adaptor::_Partial<std::ranges::__detail::_To2<std::vector>
>::operator()<std::ranges::views::__adaptor::_Partial<std::ranges::__detail::_To2<std::vector>
>, std::ranges::transform_view<std::span<int>, std::_Bind_front<std::plus<int>,
int> > >(this
std::ranges::views::__adaptor::_Partial<std::ranges::__detail::_To2<std::vector>
>&&, std::ranges::transform_view<std::span<int>,
std::_Bind_front<std::plus<int>, int> >&&)::<lambda(auto:36&&
...)>::operator()<> (const struct ._anon_174 * const __closure)
{
  struct _To2 D.105895;
  struct transform_view & _1;
  struct vector & _4(D);

  <bb 2> :
  _1 = __closure_3(D)->____r;
  *_4(D) =
std::ranges::__detail::_To2<std::vector>::operator()<std::ranges::transform_view<std::span<int>,
std::_Bind_front<std::plus<int>, int> > > (&D.105895, _1); [return slot
optimization]


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111055
[Bug 111055] [C++23] Implement P1206R7, Conversions from ranges to containers