Escape Analysis & Owner Escape Analysis
Richard (Rikki) Andrew Cattermole
richard at cattermole.co.nz
Sun Sep 22 15:33:22 UTC 2024
On 22/09/2024 11:03 PM, IchorDev wrote:
> * |@escape| is the opposite of |@escape()|, which
> could be confusing
>
> Originally I was going to make this to mean 'inferred', but
> it's better if everything gets inferred by default.
>
> It needs to mean something, so got an alternative?
>
> Maybe add a special case for something like |@escape(false)|?
>
> The question is for what |@escape()| would do. Which Dennis has not
> counter proposal for.
>
> I see. |@escape| is meant to tell you how the variable escapes, but on
> its own it implicitly uses a default set of escapes. If the parentheses
> are empty, surely that should just be the same as |@escape|?
No, ``@escape()`` specifies the empty set. As in, it does not escape
anywhere.
With ``@escape`` no set has been given.
I'm wondering if it shouldn't be specified but instead let buildkite
determine what ``@escape`` does based upon statistics.
More information about the dip.ideas
mailing list