Skip to content

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

@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

3 participants