[Bug c++/95440] New: [coroutines] ICE with static members in promise_type

[Bug c++/95440] New: [coroutines] ICE with static members in promise_type

[bruck.michael at googlemail dot com]

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

            Bug ID: 95440
           Summary: [coroutines] ICE with static members in promise_type
           Product: gcc
           Version: 10.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: bruck.michael at googlemail dot com
  Target Milestone: ---

https://gcc.godbolt.org/z/PoAYhX


#include <coroutine>

struct task
{
        struct promise_type
        {
                auto get_return_object() const { return task{}; }
                static constexpr std::suspend_never initial_suspend()  { return
{}; }
                /*static*/ constexpr std::suspend_never final_suspend() {
return {}; }
                /*static*/ constexpr void return_void() {}
                /*static*/ constexpr void unhandled_exception() {}
        };
};

task
test_task()
{
    co_await std::suspend_always{};
}

auto t = test_task();

int main() {}

[Bug c++/95440] [coroutines] ICE with static members in promise_type

[iains at gcc dot gnu.org]

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

Iain Sandoe <iains at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2020-06-06
           Keywords|                            |ice-on-valid-code
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Target Milestone|---                         |10.2
           Assignee|unassigned at gcc dot gnu.org      |iains at gcc dot gnu.org

--- Comment #1 from Iain Sandoe <iains at gcc dot gnu.org> ---
thanks for the report

[Bug c++/95440] [coroutines] ICE with static members in promise_type

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Iain D Sandoe <iains@gcc.gnu.org>:

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

commit r11-1184-ga9eec9625ea7165292958be04899b057804192fb
Author: Iain Sandoe <iain@sandoe.co.uk>
Date:   Wed Jun 10 00:15:28 2020 +0100

    coroutines: Make call argument handling more robust [PR95440]

    build_new_method_call is supposed to be able to handle a null
    arguments list pointer (when the method has no parms).  There
    were a couple of places where uses of the argument list pointer
    were not defended against NULL.

    gcc/cp/ChangeLog:

            PR c++/95440
            * call.c (add_candidates): Use vec_safe_length() for
            testing the arguments list.
            (build_new_method_call_1): Use vec_safe_is_empty() when
            checking for an empty args list.

    gcc/testsuite/ChangeLog:

            PR c++/95440
            * g++.dg/coroutines/pr95440.C: New test.

[Bug c++/95440] [coroutines] ICE with static members in promise_type

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Iain D Sandoe
<iains@gcc.gnu.org>:

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

commit r10-8289-gb88498204521731f46b439b33f936009fedfdf35
Author: Iain Sandoe <iain@sandoe.co.uk>
Date:   Sat Jun 13 10:36:29 2020 +0100

    coroutines: Make call argument handling more robust [PR95440]

    build_new_method_call is supposed to be able to handle a null
    arguments list pointer (when the method has no parms).  There
    were a couple of places where uses of the argument list pointer
    were not defended against NULL.

    gcc/cp/ChangeLog:

            PR c++/95440
            * call.c (add_candidates): Use vec_safe_length() for
            testing the arguments list.
            (build_new_method_call_1): Use vec_safe_is_empty() when
            checking for an empty args list.

    gcc/testsuite/ChangeLog:

            PR c++/95440
            * g++.dg/coroutines/pr95440.C: New test.

    (cherry picked from commit a9eec9625ea7165292958be04899b057804192fb)

[Bug c++/95440] [coroutines] ICE with static members in promise_type

[iains at gcc dot gnu.org]

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

Iain Sandoe <iains at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #4 from Iain Sandoe <iains at gcc dot gnu.org> ---
fixed on master and for 10.2