Skip to content
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

Cannot use #randombytes if there is no stack #870

Closed
vbgl opened this issue Jul 30, 2024 · 0 comments · Fixed by #892
Closed

Cannot use #randombytes if there is no stack #870

vbgl opened this issue Jul 30, 2024 · 0 comments · Fixed by #892
Labels
bug
Milestone
2024.07.1

Comments

@vbgl
Copy link
Member

vbgl commented Jul 30, 2024

The following program is rejected by the Jasmin compiler:

export
fn rand(reg ptr u8[32] io) -> reg ptr u8[32] {
  io = #randombytes(io);
  return io;
}

"tmp/rand.jazz", line 1 (0) to line 5 (1):
compilation error in function rand:
linearization: bad save-stack

Reported by Aaron (@Rixxc).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
2024.07.1
Development

Successfully merging a pull request may close this issue.

varalloc: system calls do modify the stack pointer jasmin-lang/jasmin
1 participant
@vbgl