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

bug: const expression underflow #3196

Open
petar-dambovaliev opened this issue Nov 25, 2024 · 0 comments · May be fixed by #3197
Open

bug: const expression underflow #3196

petar-dambovaliev opened this issue Nov 25, 2024 · 0 comments · May be fixed by #3197
Assignees
@petar-dambovaliev
Labels
in focus Core team is prioritizing this work 📦 🤖 gnovm Issues or PRs gnovm related
Milestone
🚀 Mainnet launch

Comments

@petar-dambovaliev
Copy link
Contributor

petar-dambovaliev commented Nov 25, 2024 •
edited
Loading

All of these work, when they shouldn't.

func main() {
	const u1 = uint8(0) - 1
	const u2 = uint16(5) - 101233213
}

We should get an underflow error.
@petar-dambovaliev petar-dambovaliev added the 📦 🤖 gnovm Issues or PRs gnovm related label Nov 25, 2024
@petar-dambovaliev petar-dambovaliev added this to the 🚀 Mainnet launch milestone Nov 25, 2024
@petar-dambovaliev petar-dambovaliev moved this from Triage to In Progress in 🧙‍♂️gno.land core team Nov 25, 2024
@petar-dambovaliev petar-dambovaliev self-assigned this Nov 25, 2024
@petar-dambovaliev petar-dambovaliev linked a pull request Nov 26, 2024 that will close this issue
Open
@Kouteki Kouteki added the in focus Core team is prioritizing this work label Nov 27, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@petar-dambovaliev petar-dambovaliev

Labels
in focus Core team is prioritizing this work 📦 🤖 gnovm Issues or PRs gnovm related
Projects
🧙‍♂️gno.land core team
Status: In Progress
Milestone
🚀 Mainnet launch
Development

Successfully merging a pull request may close this issue.

fix: const sub expr underflow validation gnolang/gno
2 participants
@Kouteki @petar-dambovaliev