diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-03T00·12+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-08T19·54+0000 |
| commit | 4e24bd56b47b2b5d7bc588d536b881ccff9ed8aa (patch) | |
| tree | f8f9cd77b81d1afef985a4cd6ccab0470ebbe586 /tools/crfo-approve.nix | |
| parent | ecbd7c6ca1e8331e7ef7f94bb4a196d78bcc895c (diff) | |
fix(tvix/eval): only pop initialised locals when closing scopes r/4758
This avoids emitting OpPop instructions for locals that only existed virtually (as uninitialised phantoms). Change-Id: I8105afcca80c3f7b7ef93ce5e2f0d08a93f4ad27 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6425 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tools/crfo-approve.nix')
0 files changed, 0 insertions, 0 deletions