Question regarding exported temporary varnodes

[mlgiraud]

Hello, the SLEIGH specification is not that clear on what happens to exported temporary varnodes. As far as i understood, a temporary varnode is only valid for the duration of the constructor in question, and afterwards, no guarantee is made to the contents of the varnode.

For me this now raises the question what happens to the data region that was reserved for this varnode. Is every local variable allocated its own unique region in the temporary address space? If so, this would mean that the temp address space is gigantic. Is this intended? If not, this would entail that when exporting a temp varnode, the parent constructor that uses the exported value might accidentally override the temporary, before it accesses it, since there might be a different temporary that was allocated to this region. Or, as a third alternative, are the temporaries allocated uniquely for each instantiation of constructors, i.e., is the pcode pasted together, and only then the temporaries allocated?

I hope i'm not sounding too confusing right now. If you need clarification on what i'm brambling on about, please let me know.