Thread overview
[Issue 24559] Compiler fails to error about using enum type as a value when compiling with -o-
May 23, 2024
Luís Ferreira
May 23, 2024
Luís Ferreira
May 23, 2024
https://issues.dlang.org/show_bug.cgi?id=24559

Luís Ferreira <contact@lsferreira.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |contact@lsferreira.net

--- Comment #1 from Luís Ferreira <contact@lsferreira.net> ---
>From what I investigated, semantics gags the error and defer that to e2ir glue
code, hence it doesn't happen on `-o-`.

We have two possible options:
- We do the check for expressions with EXP.error after semantic3 and remove it
from e2ir visitor;
- Detect these situations when we encounter them. It seems expressionsem
assumes its a forward reference and goes on, which to me, shouldn't.

--
May 23, 2024
https://issues.dlang.org/show_bug.cgi?id=24559

--- Comment #2 from Luís Ferreira <contact@lsferreira.net> ---
Interesting enough, if you run `-verror=spec` with `-o-` it fails (enables display of error gagging on speculative compilations).

--
December 13
https://issues.dlang.org/show_bug.cgi?id=24559

--- Comment #3 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/20456

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--