Thread overview
[Issue 16447] make illegal for functions containing a `naked` asm block to return `auto`
[Issue 16447] Warn about auto return type when no return statement is present
Aug 31, 2016
b2.temp@gmx.com
Aug 31, 2016
b2.temp@gmx.com
Aug 31, 2016
Cauterite
Sep 01, 2016
b2.temp@gmx.com
Jul 28, 2021
Basile-z
Nov 10, 2022
RazvanN
August 31, 2016
https://issues.dlang.org/show_bug.cgi?id=16447

--- Comment #1 from b2.temp@gmx.com ---
(In reply to b2.temp from comment #0)

> The return type here is "void"

forgot the end of the sentence: "instead of int, which the coder has forgot to specify".

--
August 31, 2016
https://issues.dlang.org/show_bug.cgi?id=16447

b2.temp@gmx.com changed:

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

--- Comment #2 from b2.temp@gmx.com ---
nvm, i've made it in dscanner.

--
August 31, 2016
https://issues.dlang.org/show_bug.cgi?id=16447

Cauterite <cauterite@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |cauterite@gmail.com

--- Comment #3 from Cauterite <cauterite@gmail.com> ---
(In reply to b2.temp from comment #2)
> nvm, i've made it in dscanner.

Nevermind? Huh?
This sounds like a valid concern to me. There is no way your inline-assembly
example should be allowed to compile with auto return type.

--
September 01, 2016
https://issues.dlang.org/show_bug.cgi?id=16447

b2.temp@gmx.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|WONTFIX                     |---

--
July 28, 2021
https://issues.dlang.org/show_bug.cgi?id=16447

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Warn about auto return type |make illegal for functions
                   |when no return statement is |containing a `naked` asm
                   |present                     |block to return `auto`

--
November 10, 2022
https://issues.dlang.org/show_bug.cgi?id=16447

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
                 CC|                            |razvan.nitu1305@gmail.com
         Resolution|---                         |INVALID

--- Comment #4 from RazvanN <razvan.nitu1305@gmail.com> ---
Why not? Assembly usage is for expert programmers so the compiler assumes that you know what you are doing. A third party tool check (like dscanner) is the way forward here.

--