Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Add missing padding needded for alignment #3401

Merged
merged 5 commits into from
Aug 1, 2024

Conversation

zhassan-aws
Copy link
Contributor

This PR adds extra padding for enums when needed for alignment. The missing alignment was exposed in #2857 where the layout size from MIR for der::error::ErrorKind was 48 bytes, and from codegen_enum was only 41 bytes. The difference turned out to be caused by an 8-byte alignment that the compiler uses for this enum.

Resolves #2857
Resolves #3318

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@zhassan-aws zhassan-aws requested a review from a team as a code owner July 31, 2024 20:18
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Jul 31, 2024
Copy link
Member

@tautschnig tautschnig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@model-checking model-checking deleted a comment from celinval Jul 31, 2024
Copy link
Contributor

@celinval celinval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@tautschnig tautschnig enabled auto-merge (squash) August 1, 2024 21:01
@tautschnig tautschnig merged commit d6d1ebf into model-checking:main Aug 1, 2024
27 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Kani panicked in codegen/rvalue Unexpected r value in box conversion
3 participants