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

Fix tuple output bounds checks #7345

Merged
merged 1 commit into from
Feb 14, 2023
Merged

Fix tuple output bounds checks #7345

merged 1 commit into from
Feb 14, 2023

Conversation

abadams
Copy link
Member

@abadams abadams commented Feb 13, 2023

Tuple outputs weren't getting appropriate bounds checks due to overzealous culling of uninteresting code in the add_image_checks pass.

Fixes #7343

Tuple outputs weren't getting appropriate bounds checks due to
overzealous culling of uninteresting code in the add_image_checks pass.
@steven-johnson
Copy link
Contributor

steven-johnson commented Feb 13, 2023

https://buildbot.halide-lang.org/master/#/builders/101/builds/56 looks like a real failure

NM: llvm error

@steven-johnson steven-johnson merged commit 8bd07fb into main Feb 14, 2023
@steven-johnson steven-johnson deleted the abadams/fix_7343 branch February 14, 2023 01:52
@abadams
Copy link
Member Author

abadams commented Feb 14, 2023

Note that this adds a missing bounds check, so it's possible that it'll break previously working code that either had non-faulting out-of-bounds accesses or overconservative deduced bounds.

ardier pushed a commit to ardier/Halide-mutation that referenced this pull request Mar 3, 2024
Fix halide#7343

Tuple outputs weren't getting appropriate bounds checks due to
overzealous culling of uninteresting code in the add_image_checks pass.
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.

Apparent write beyond end of buffer in jit-compiled code
2 participants