[Bug c++/106973] New: coroutine generator and setjmp

[Bug c++/106973] New: coroutine generator and setjmp

[woohp135 at gmail dot com]

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

            Bug ID: 106973
           Summary: coroutine generator and setjmp
           Product: gcc
           Version: 12.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: woohp135 at gmail dot com
  Target Milestone: ---

#include "generator.hpp"
#include <setjmp.h>
using namespace std;


cppcoro::generator<int> foo()
{
    jmp_buf env;
    setjmp(env);
    co_yield 1;
}


int main()
{
    return 0;
}


The generator.hpp file is from
https://github.com/lewissbaker/cppcoro/blob/master/include/cppcoro/generator.hpp

I'm getting this error:


> g++ -std=c++2a -Wall -Wextra -freport-bug foo.cpp
during GIMPLE pass: coro-early-expand-ifns
foo.cpp: In function ‘void foo(foo()::_Z3foov.Frame*)’:
foo.cpp:6:25: internal compiler error: Segmentation fault
    6 | cppcoro::generator<int> foo()
      |                         ^~~
0x19eab38 internal_error(char const*, ...)
        ???:0


I believe it is the setjmp that is causing the issue. This code compiles fine
on clang.

[Bug c++/106973] coroutine generator and setjmp

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-09-20
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Please provide a pre-processed source file (-E option).

[Bug c++/106973] coroutine generator and setjmp

[woohp135 at gmail dot com]

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

--- Comment #2 from Hui Peng Hu <woohp135 at gmail dot com> ---
Created attachment 53592
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53592&action=edit
preprocessed cpp file

[Bug c++/106973] coroutine generator and setjmp

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |iains at gcc dot gnu.org
             Status|WAITING                     |NEW

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
Thanks, reduced to:

cat preprocessed.cpp
namespace std {
template <typename> using remove_reference_t = int;
template <typename _Result> struct coroutine_traits : _Result {};
template <typename = void> struct coroutine_handle {
  operator coroutine_handle<>();
};
struct suspend_always {
  bool await_ready() noexcept;
  void await_suspend(coroutine_handle<>) noexcept;
  void await_resume() noexcept;
};
} // namespace std
struct generator_promise {
  void get_return_object();
  std::suspend_always initial_suspend();
  std::suspend_always final_suspend() noexcept;
  std::suspend_always yield_value(std::remove_reference_t<int>);
  void unhandled_exception();
};
struct generator {
  using promise_type = generator_promise;
};
void setjmp(int);
int foo_env;
generator foo() {
  setjmp(foo_env);
  co_yield 1;
}

[Bug c++/106973] coroutine generator and setjmp

[iains at gcc dot gnu.org]

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

--- Comment #4 from Iain Sandoe <iains at gcc dot gnu.org> ---
Of course, we should not crash in this case.

However, I am curious as to how you would expect setjmp/longjmp to work with a
coroutine (I recall that the coroutine implementators discussed this with,
AFAIR, the outcome that it was not really supportable).

Do you have an example of a complete code where setjmp/longjmp is used together
with coroutines in clang or MSVC?

AFAICT Lewis' code for the generator makes no use of the setjmp/longjump.

The exception mechanism that *is* defined in the standard for coroutines is the
regular C++ exceptions.

So - we need to fix this problem, of course, but also to revisit what the
correct behaviours should be for setjmp/longjmp.

[Bug c++/106973] coroutine generator and setjmp

[redi at gcc dot gnu.org]

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

--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The standard says:

> A call to setjmp or longjmp has undefined behavior if invoked in a suspension context of a coroutine (7.6.2.4).

Given that, I don't see why using setjmp in example would be useful.

[Bug c++/106973] coroutine generator and setjmp

[iains at gcc dot gnu.org]

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

--- Comment #6 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #5)
> The standard says:
> 
> > A call to setjmp or longjmp has undefined behavior if invoked in a suspension context of a coroutine (7.6.2.4).
> 
> Given that, I don't see why using setjmp in example would be useful.

Exactly, but maybe we should diagnose (we should not crash anyway).

[Bug c++/106973] coroutine generator and setjmp

[woohp135 at gmail dot com]

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

--- Comment #7 from Hui Peng Hu <woohp135 at gmail dot com> ---
I was trying to call libjpeg to decode images inside a generator. A snippet of
code that I found online used setjmp/longjmp for error handling, hence I ran
into this issue. Given that the longjmp is called while the coroutine is
executing, I'd imagine that the behavior is fairly well-defined. I've since
moved on to using regular c++ exceptions for error handling, and so this issue
isn't affecting me anymore, but I thought it'll still be nice to get it fixed
(or at least print a helpful warning/error message) so that gcc is not
segfaulting