[Issue 21955] CastExp of noreturn is rejected by the backend

d-bugmail at puremagic.com d-bugmail at puremagic.com
Mon May 24 16:18:29 UTC 2021


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

moonlightsentinel at disroot.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |backend
                 CC|                            |moonlightsentinel at disroot.o
                   |                            |rg
           Hardware|x86_64                      |All
            Summary|CastExp of noreturn is      |CastExp of noreturn is
                   |detected too late           |rejected by the backend
                 OS|Linux                       |All

--- Comment #1 from moonlightsentinel at disroot.org ---
The cast is valid because the bottom type is implicitly convertible to any
type. But the DIP requires the code to abort as soon as a is accessed, so the
backend must emit the appropriate code instead of generating this error

--


More information about the Digitalmars-d-bugs mailing list