Stream: t-compiler/const-eval

Topic: StroageLive/Dead


Christian Poveda (Apr 30 2019 at 13:00, on Zulip):

Then I shouldn't rely on StorageLive to reserve space in memory for a value.

Christian Poveda (Apr 30 2019 at 13:00, on Zulip):

I assume the same can be said about StorageDead then

oli (Apr 30 2019 at 13:00, on Zulip):

you can, but if there are neither of these for a local, then it lives for the entire funciton

Christian Poveda (Apr 30 2019 at 13:06, on Zulip):

Is it possible that the same local number is used for different locals in the same function? I've supposed the whole time that they don't

RalfJ (Apr 30 2019 at 13:32, on Zulip):

No it's not

RalfJ (Apr 30 2019 at 13:33, on Zulip):

basically, you can do a pre-pass over the function body; if for some local there is no storage annotation at all then imagine there was a StorageLive immediately at the beginning

Christian Poveda (Apr 30 2019 at 13:33, on Zulip):

Yeah, I'll take that approach

Last update: Nov 15 2019 at 20:20UTC