[Bug] finalize method's loop can not use Mapping::get(xxxMap, i)' about leo HOT 8 OPEN

This issue should be fixed, check: https://github.com/AleoHQ/snarkVM/pull/1736.

from leo.

This issue should be fixed, check: AleoHQ/snarkVM#1736.

i will check later

from leo.

This issue should be fixed, check: AleoHQ/snarkVM#1736.

the issue not fix now
https://github.com/AleoHQ/snarkVM/pull/1736 the pr not fix my issue.
my issue is :Using 'Mapping::get(ticketPurchaseMap, i)' in the for loop within the finalize method
and i test use Mapping::get_or_use is ok,this is real a bug for Mapping::get

from leo.

Basically, ifs in finalizers should be compiled down to branch instructions. AFAIK this is planned.

from leo.

If I am reading your logic correctly, this is intended.

Attempting to get a value from a mapping that doesn't contain your key will cause an error.

Using mapping get.or_use is what you should be using if you do not know if a value exists, but want to set a default.

from leo.

Note: this is actually a Leo compiler issue, as the program compiles to Aleo instructions with side-effects that could not be ignored.

from leo.

From what I understand, the compiler needs to leverage branch commands correctly.
Can you please paste your source code (not a screenshot), or a reproducible example so that we may triage?

from leo.

From what I understand, the compiler needs to leverage branch commands correctly. Can you please paste your source code (not a screenshot), or a reproducible example so that we may triage?

https://github.com/AlexZhao6666/double-color-ball/blob/main/contract/double_color_ball/src/main.leo
just replace Mapping::get_or_use to Mapping::get can recurrent

from leo.