[Bug c++/101233] New: ICE when using ::ranges::v3::to<std::pmr::vector>

[Bug c++/101233] New: ICE when using ::ranges::v3::to<std::pmr::vector>

[475647575 at qq dot com]

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

            Bug ID: 101233
           Summary: ICE when using ::ranges::v3::to<std::pmr::vector>
           Product: gcc
           Version: 11.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 475647575 at qq dot com
  Target Milestone: ---

Try the following code:
--------
#include <vector>
#include <range/v3/action.hpp>

int main(){
    std::vector<int> v{1,2,3,4,5};
    v | ::ranges::v3::to<std::pmr::vector>;
}
--------

godbolt link:https://godbolt.org/z/oxnbad9M6

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2021-06-28
                 CC|                            |marxin at gcc dot gnu.org
             Status|UNCONFIRMED                 |WAITING

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Am I right, the code is invalid?

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[475647575 at qq dot com]

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

--- Comment #2 from 欢乐的0403 <475647575 at qq dot com> ---
This stumps me. I don't know if the code is valid or not.
But these code compiles:
----
v | ::ranges::v3::to<std::vector>;
----
v | ::ranges::v3::to_vector;
----

So I guess the code is more likely to be valid?

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
           Keywords|                            |ice-on-valid-code
                 CC|                            |jason at gcc dot gnu.org

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Then let's mark it as ICE on valid code.

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[475647575 at qq dot com]

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

--- Comment #4 from 欢乐的0403 <475647575 at qq dot com> ---
Good, looking forward to it being fixed.

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |ppalka at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[ppalka at gcc dot gnu.org]

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

--- Comment #5 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Looks like the original testcase is indeed valid, but one needs to include
<memory_resource> as well (for pmr::polymorphic_allocator).

Reduced:

template<class T, class U>
struct A { A(T, U); };

template<class T, class U>
using B = A<U, T>;

using type = decltype(B{0, 0});

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[redi at gcc dot gnu.org]

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

--- Comment #6 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Patrick Palka from comment #5)
> but one needs to include
> <memory_resource> as well (for pmr::polymorphic_allocator).

For libstdc++ the <vector> header only declares the pmr::vector alias, without
defining prm::polymorphic_allocator. That means pmr::vector is an incomplete
type unless you also include <memory_resource>.

This is permitted by the standard, and avoids paying to include
<memory_resource> if you don't plan to use the pmr types.

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Patrick Palka <ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:a8b3861496bffae8b813ea196c1c5b27f79fbe69

commit r12-2378-ga8b3861496bffae8b813ea196c1c5b27f79fbe69
Author: Patrick Palka <ppalka@redhat.com>
Date:   Fri Jul 16 16:21:13 2021 -0400

    c++: alias CTAD in unevaluated context [PR101233]

    This is the alias CTAD version of the CTAD bug PR93248, and the fix is
    the same: clear cp_unevaluated_operand so that the entire chain of
    DECL_ARGUMENTS gets substituted.

            PR c++/101233

    gcc/cp/ChangeLog:

            * pt.c (alias_ctad_tweaks): Clear cp_unevaluated_operand for
            substituting DECL_ARGUMENTS.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/class-deduction-alias10.C: New test.

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Patrick Palka
<ppalka@gcc.gnu.org>:

https://gcc.gnu.org/g:9107b139f4492d504df37e943882405e6aefdb7e

commit r11-8762-g9107b139f4492d504df37e943882405e6aefdb7e
Author: Patrick Palka <ppalka@redhat.com>
Date:   Fri Jul 16 16:21:13 2021 -0400

    c++: alias CTAD in unevaluated context [PR101233]

    This is the alias CTAD version of the CTAD bug PR93248, and the fix is
    the same: clear cp_unevaluated_operand so that the entire chain of
    DECL_ARGUMENTS gets substituted.

            PR c++/101233

    gcc/cp/ChangeLog:

            * pt.c (alias_ctad_tweaks): Clear cp_unevaluated_operand for
            substituting DECL_ARGUMENTS.

    gcc/testsuite/ChangeLog:

            * g++.dg/cpp2a/class-deduction-alias10.C: New test.

    (cherry picked from commit a8b3861496bffae8b813ea196c1c5b27f79fbe69)

[Bug c++/101233] ICE when using ::ranges::v3::to<std::pmr::vector>

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
   Target Milestone|---                         |11.2
         Resolution|---                         |FIXED

--- Comment #9 from Patrick Palka <ppalka at gcc dot gnu.org> ---
Fixed for GCC 11.2 and 12.