Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126551
Precedence: bulk
MIME-Version: 1.0
References: <a995ac24905030e168e7f6006b996cd5@bastelstu.be>
In-Reply-To: <a995ac24905030e168e7f6006b996cd5@bastelstu.be>
Date: Mon, 3 Mar 2025 15:30:37 +0100
Message-ID: <CAMzRQTcYa+DdNzDR5-SO0uSY1V5+3xcm5emO6EmcZj3eBUDqvw@mail.gmail.com>
Subject: [PHP-DEV] Re: RFC: Marking return values as important (#[\NoDiscard])
To: =?UTF-8?Q?Tim_D=C3=BCsterhus?= <tim@bastelstu.be>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a3d9bf062f710037"
From: volker@tideways-gmbh.com (Volker Dusch)

--000000000000a3d9bf062f710037
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Wed, Jan 29, 2025 at 4:12=E2=80=AFPM Tim D=C3=BCsterhus <tim@bastelstu.b=
e> wrote:

> Volker and I would like to start discussion on our RFC to allow "Marking
> return values as important (#[\NoDiscard])".
>
> Please find the following resources for your reference:
>
> - RFC: https://wiki.php.net/rfc/marking_return_value_as_important
> - Implementation: https://github.com/php/php-src/pull/17599
>

Hi,

Thank you to everyone who responded to our call for comments on the list
here, and to Ond=C5=99ej who replied on Mastodon to the question if the pro=
perty
would be useful for Static Analysis tools:
https://phpc.social/@OndrejMirtes/114040888791921128

Given that the thread has died down, and all points have been discussed, we
plan to start the voting later this week unless any important point comes
up.

We have also updated the RFC to note that, if (void) is not voted for in
the secondary vote, we'd special case `$_` as a discard outlet such that
OPcache will not optimize the unused variable.

Kind Regards,
Volker


--=20
Volker Dusch
Head of Engineering
Tideways GmbH
K=C3=B6nigswinterer Str. 116
53227 Bonn
https://tideways.io/imprint

Sitz der Gesellschaft: Bonn
Gesch=C3=A4ftsf=C3=BChrer: Benjamin Au=C3=9Fenhofer (geb. Eberlei)
Registergericht: Amtsgericht Bonn, HRB 22127

--000000000000a3d9bf062f710037
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div dir=3D"ltr" class=3D"gmail_attr">On =
Wed, Jan 29, 2025 at 4:12=E2=80=AFPM Tim D=C3=BCsterhus &lt;<a href=3D"mail=
to:tim@bastelstu.be">tim@bastelstu.be</a>&gt; wrote:</div><blockquote class=
=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rg=
b(204,204,204);padding-left:1ex">Volker and I would like to start discussio=
n on our RFC to allow &quot;Marking<br>return values as important (#[\NoDis=
card])&quot;.<br><br>Please find the following resources for your reference=
:<br><br>- RFC:=C2=A0<a href=3D"https://wiki.php.net/rfc/marking_return_val=
ue_as_important" rel=3D"noreferrer" target=3D"_blank">https://wiki.php.net/=
rfc/marking_return_value_as_important</a><br>- Implementation:=C2=A0<a href=
=3D"https://github.com/php/php-src/pull/17599" rel=3D"noreferrer" target=3D=
"_blank">https://github.com/php/php-src/pull/17599</a><br></blockquote></di=
v><div dir=3D"ltr"><br></div><div dir=3D"ltr">Hi,</div><div dir=3D"ltr"><br=
></div><div dir=3D"ltr">Thank you to everyone who responded to our call for=
 comments on the list here, and to Ond=C5=99ej who replied on Mastodon to t=
he question if the property would be useful for Static Analysis tools: <a h=
ref=3D"https://phpc.social/@OndrejMirtes/114040888791921128">https://phpc.s=
ocial/@OndrejMirtes/114040888791921128</a></div><div dir=3D"ltr"><div><br><=
/div><div>Given that the thread has died down, and all points have been dis=
cussed, we plan to start the voting later this week unless any important po=
int comes up.</div><div><br></div><div>We have also updated the RFC to note=
 that, if (void) is not voted for in the secondary vote, we&#39;d special c=
ase `$_` as a discard outlet such that OPcache will not optimize the unused=
 variable.</div><div><br></div><div>Kind Regards,</div><div>Volker</div><di=
v><br></div><div><br></div></div><span class=3D"gmail_signature_prefix">-- =
</span><br><div dir=3D"ltr" class=3D"gmail_signature"><div dir=3D"ltr"><div=
 style=3D"color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px=
">Volker Dusch</div><div style=3D"color:rgb(34,34,34);font-family:arial,san=
s-serif;font-size:12.8px">Head of Engineering</div><div style=3D"color:rgb(=
34,34,34);font-family:arial,sans-serif;font-size:12.8px"><div>Tideways GmbH=
</div><div>K=C3=B6nigswinterer Str. 116</div><div>53227 Bonn</div><div><a h=
ref=3D"https://tideways.io/imprint" style=3D"color:rgb(17,85,204)" target=
=3D"_blank">https://tideways.io/imprint</a><br></div><div><br></div><div>Si=
tz der Gesellschaft: Bonn</div><div>Gesch=C3=A4ftsf=C3=BChrer: Benjamin Au=
=C3=9Fenhofer (geb. Eberlei)</div><div>Registergericht: Amtsgericht Bonn, H=
RB 22127</div></div></div></div></div>

--000000000000a3d9bf062f710037--