Skip to content

Fix aligment downcast check in TryAsAligned#9

Merged
wmanley merged 1 commit intoostreedev:masterfrom
alexlarsson:fix-alignment
Jul 3, 2025
Merged

Fix aligment downcast check in TryAsAligned#9
wmanley merged 1 commit intoostreedev:masterfrom
alexlarsson:fix-alignment

Conversation

@alexlarsson
Copy link
Member

We can't use core::mem::align_of on the Alignment types, they are always aligned 1. Instead use ::ALIGNMENT.

Also adds a unit test of this, which breaks before and now works.

Copy link

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

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

Summary of Changes

Hello @alexlarsson, I'm Gemini Code Assist1! I'm currently reviewing this pull request and will post my feedback shortly. In the meantime, here's a summary to help you and other reviewers quickly get up to speed!

This pull request fixes an issue in the alignment downcast check within the TryAsAligned and TryAsAlignedMut implementations. It replaces the incorrect usage of core::mem::align_of with the correct FromA::ALIGNMENT to ensure proper alignment checks. Additionally, a unit test has been added to validate the fix and prevent regressions.

Highlights

  • Alignment Check: Replaces core::mem::align_of with FromA::ALIGNMENT for alignment checks in TryAsAligned and TryAsAlignedMut implementations.
  • Unit Test: Adds a new unit test to verify the correct behavior of TryAsAligned with aligned and misaligned data.
Using Gemini Code Assist

The full guide for Gemini Code Assist can be found on our documentation page, here are some quick tips.

Invoking Gemini

You can request assistance from Gemini at any point in your pull request via creating an issue comment (i.e. comment on the pull request page) using either /gemini <command> or @gemini-code-assist <command>. Below is a summary of the supported commands.

Feature Command Description
Code Review /gemini review Performs a code review for the current pull request in its current state.
Pull Request Summary /gemini summary Provides a summary of the current pull request in its current state.
Comment @gemini-code-assist Responds in comments when explicitly tagged, both in issue comments and review comments.
Help /gemini help Displays a list of available commands.

Customization

To customize Gemini Code Assist for GitHub experience, repository maintainers can create a configuration file and/or provide a custom code review style guide (such as PEP-8 for Python) by creating and adding files to a .gemini/ folder in the base of the repository. Detailed instructions can be found here.

Limitations & Feedback

Gemini Code Assist is currently in preview and may make mistakes. Please leave feedback on any instances where its feedback is incorrect or counter productive. You can react with 👍 and 👎 on @gemini-code-assist comments to provide feedback.

You can also get AI-powered code generation, chat, as well as code reviews directly in the IDE at no cost with the Gemini Code Assist IDE Extension.

Footnotes

  1. Review the Privacy Notices, Generative AI Prohibited Use Policy, Terms of Service, and learn how to configure Gemini Code Assist in GitHub here. Gemini can make mistakes, so double check it and use code with caution.

@alexlarsson
Copy link
Member Author

Unclear why the CI failed, but seems unrelated

Copy link

@gemini-code-assist gemini-code-assist bot left a comment

Choose a reason for hiding this comment

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

Code Review

This pull request correctly fixes a bug in the alignment downcast check where core::mem::align_of was used on ZSTs, which always returned 1. The fix correctly uses the ALIGNMENT associated constant instead. A new unit test is added to verify the fix and prevent regressions. My review includes a suggestion to improve the new test by using a safer, more explicit method for creating aligned data, which avoids using unsafe code.

We can't use core::mem::align_of on the Alignment types, they are
always aligned 1. Instead use ::ALIGNMENT.

Also adds a unit test of this, which breaks before and now works.
@wmanley
Copy link
Member

wmanley commented Jul 3, 2025

I will have broken this originally in 8492cad. Thanks for the fix.

@wmanley wmanley merged commit 5c976a1 into ostreedev:master Jul 3, 2025
1 check passed
wmanley added a commit that referenced this pull request Jul 7, 2025
Fixes
=====

* Soundness: Fix aligment downcast check in TryAsAligned #9
  57d66be
* Correctness: NonFixedWidthArray serialisation: Write padding before data #11
  0396d80
* Fix: Fix "... must be defined only once in the type namespace of this module"
  for types where a struct is repeated #11 42165a3
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.

2 participants