[Issue 21951] Segfault on `noreturn.init`

May 23, 2021

Basile-z

May 23, 2021

Basile-z

May 23, 2021

Basile-z

May 23, 2021

Basile-z

May 25, 2021

moonlightsentinel@disroot.org

May 27, 2021

Dlang Bot

Jun 15, 2021

Dlang Bot

Jun 21, 2021

moonlightsentinel@disroot.org

Jun 27, 2021

Dlang Bot

Jun 27, 2021

Dlang Bot

Jun 27, 2021

Dlang Bot

https://issues.dlang.org/show_bug.cgi?id=21951 Basile-z <b2.temp@gmx.com> changed: What |Removed |Added ---------------------------------------------------------------------------- See Also| |https://issues.dlang.org/sh | |ow_bug.cgi?id=21950 --

May 27, 2021

[Issue 21951] Segfault on `noreturn.init`

Posted by Dlang Bot

Permalink

Dlang Bot

Permalink

https://issues.dlang.org/show_bug.cgi?id=21951

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> ---
@MoonlightSentinel updated dlang/dmd pull request #12586 "Fix 21951 - Add missing defaultInit literal for `noreturn`" fixing this issue:

- Fix 21951 - Add missing defaultInit literal for `noreturn`

  Otherwise further semantic for `noreturn` variables / overload resultion
  will segfault.

  The default initializer is defined as `assert(false)` for now. This
  might need to be revised to satisfy [1] once the backend is adapted to
  handle `noreturn` outside of return values (currently either crashes or
  hits assertion failures).

  [1]:
  > Defining a noreturn variable with no initialization expression
  > generates an assert(0) only if the variable is accessed, which can be
  > useful in generic code where unused noreturn variables may be declared

https://github.com/dlang/dmd/pull/12586

--

https://issues.dlang.org/show_bug.cgi?id=21951 --- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> --- @RazvanN7 updated dlang/dmd pull request #12688 "Fix Issue 22017 - with() on struct method that returns this destroys too early" fixing this issue: - Fix 21951 - Add missing defaultInit literal for `noreturn` Otherwise further semantic for `noreturn` variables / overload resultion will segfault. The default initializer is defined as `assert(false)` for now. This might need to be revised to satisfy [1] once the backend is adapted to handle `noreturn` outside of return values (currently either crashes or hits assertion failures). [1]: > Defining a noreturn variable with no initialization expression > generates an assert(0) only if the variable is accessed, which can be > useful in generic code where unused noreturn variables may be declared https://github.com/dlang/dmd/pull/12688 --

https://issues.dlang.org/show_bug.cgi?id=21951 moonlightsentinel@disroot.org changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords|pull |backend --- Comment #3 from moonlightsentinel@disroot.org --- Re-tagged as a backend issue because it now triggers an assertion failure: dmd: src/dmd/backend/cod4.d:416: Assertion `cast(int)sz > 0' failed. --

https://issues.dlang.org/show_bug.cgi?id=21951 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull --- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> --- @Geod24 created dlang/dmd pull request #12765 "Merge stable into master" fixing this issue: - Fix 21951 - Add missing defaultInit literal for `noreturn` Otherwise further semantic for `noreturn` variables / overload resultion will segfault. The default initializer is defined as `assert(false)` for now. This might need to be revised to satisfy [1] once the backend is adapted to handle `noreturn` outside of return values (currently either crashes or hits assertion failures). [1]: > Defining a noreturn variable with no initialization expression > generates an assert(0) only if the variable is accessed, which can be > useful in generic code where unused noreturn variables may be declared https://github.com/dlang/dmd/pull/12765 --

https://issues.dlang.org/show_bug.cgi?id=21951 --- Comment #5 from Dlang Bot <dlang-bot@dlang.rocks> --- @MoonlightSentinel created dlang/dmd pull request #12768 "Merge stable into master" fixing this issue: - Fix 21951 - Add missing defaultInit literal for `noreturn` Otherwise further semantic for `noreturn` variables / overload resultion will segfault. The default initializer is defined as `assert(false)` for now. This might need to be revised to satisfy [1] once the backend is adapted to handle `noreturn` outside of return values (currently either crashes or hits assertion failures). [1]: > Defining a noreturn variable with no initialization expression > generates an assert(0) only if the variable is accessed, which can be > useful in generic code where unused noreturn variables may be declared https://github.com/dlang/dmd/pull/12768 --

Forums