New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

try-catch does not restore state changes if a throw occurs inside function with non-trivial branching #1226

Open

anton-trunov opened this issue Dec 22, 2024 · 0 comments

Assignees

Labels

Milestone

Member

anton-trunov commented Dec 22, 2024 •

edited by novusnota

Loading

fun throwWithElseIf(op: Int) {
  if (op == 1) { return }
  else if (op == 2) { return }
  else { throw(1042) }
}

contract Repro {
  get fun throwInFun(): Bool {
    let x = 10;
    try {
      x = 20;
      throwWithElseIf(42);
    } catch(_) { 
      return x == 10;
    }
  }
}

Fixed in FunC v0.4.6: https://github.com/ton-blockchain/ton/releases/tag/func-0.4.6

anton-trunov added bug func-bug labels

anton-trunov added this to the v1.6.0 milestone

anton-trunov self-assigned this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment