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.

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

Fuzzer: Fix tuple globals with non-constant children #6644

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

kripken
Copy link
Member

@kripken kripken commented Jun 5, 2024

We fixed two problems when creating globals: that tuples must be tuple.make, and
that global inits must be constant (which in rare cases they are not, if we run out of
input bytes in the middle). However, there can be a dependence between them that
we missed: the init might begin constant, but then if we need to fix it to be a
tuple.make we can introduce something non-constant there.

Reorder them so we handle the non-constant issue at the end, after any tuple.make
changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant