Date: Fri, 6 Oct 2023 14:48:51 +0200
Ville,
on Fri, 6 Oct 2023 09:40:09 +0300 you (Ville Voutilainen via Liaison
<liaison_at_[hidden]>) wrote:
> The <audit> part is at this point hypothetical. I'm curious why you
> think that's a bad choice.
> If I understand things correctly, it's novel for C to have function
> parameters be in scope
> after leaving a function declarator and before a function definition
> begins.
Not exactly. We fixed that for C23, such that indeed parameters may
remain visible for attributes in the gap between the parameter list and
the function body. The intent for that is then described in a footnote
205) The visibility scope of a parameter in a function
definition starts when its declaration is completed, extends to
following parameter declarations, to possible attributes that
follow the parameter type list, and then to the entire function
body. The lifetime of each instance of a parameter starts when
the declaration is evaluated starting a call and ends when that
call terminates.
Thanks
Jₑₙₛ
on Fri, 6 Oct 2023 09:40:09 +0300 you (Ville Voutilainen via Liaison
<liaison_at_[hidden]>) wrote:
> The <audit> part is at this point hypothetical. I'm curious why you
> think that's a bad choice.
> If I understand things correctly, it's novel for C to have function
> parameters be in scope
> after leaving a function declarator and before a function definition
> begins.
Not exactly. We fixed that for C23, such that indeed parameters may
remain visible for attributes in the gap between the parameter list and
the function body. The intent for that is then described in a footnote
205) The visibility scope of a parameter in a function
definition starts when its declaration is completed, extends to
following parameter declarations, to possible attributes that
follow the parameter type list, and then to the entire function
body. The lifetime of each instance of a parameter starts when
the declaration is evaluated starting a call and ends when that
call terminates.
Thanks
Jₑₙₛ
-- :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Université de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA Nancy Grand Est :::::::::::::::::::::::: Camus :: :: :::::::::::::::::::::::::::::::::::: ☎ +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt ::
Received on 2023-10-06 12:48:53