-
Notifications
You must be signed in to change notification settings - Fork 24
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
Suppress error: cast from pointer to integer of different size #448
Conversation
…or=pointer-to-int-cast]
Warning Rate limit exceeded@petervdonovan has exceeded the limit for the number of commits or files that can be reviewed per hour. Please wait 44 minutes and 51 seconds before requesting another review. How to resolve this issue?After the wait time has elapsed, a review can be triggered using the We recommend that you space out your commits to avoid hitting the rate limit. How do rate limits work?CodeRabbit enforces hourly rate limits for each developer per organization. Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout. Please see our FAQ for further information. WalkthroughThe changes in Changes
Assessment against linked issues
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media? TipsChatThere are 3 ways to chat with CodeRabbit:
Note: Be mindful of the bot's finite context window. It's strongly recommended to break down tasks such as reading entire modules into smaller chunks. For a focused discussion, use review comments to chat about specific files and their changes, instead of using the PR comments. CodeRabbit Commands (invoked as PR comments)
Additionally, you can add CodeRabbit Configration File (
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
ad6101c
to
7640822
Compare
Closing in favor of #450 |
I am reopening this because a Zephyr test failure #450 on a 32-bit platform indicates that this solution may be better. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think this solution is better than #450, which fails on a 32-bit Zephyr test.
Closes #447.
Summary: I reviewed the
pqueue_tag
code that Edward and Byeong-gil worked on, and I determined that it was safe because I think that in practice, there are essentially no important platforms on which it will not work properly to cast a void pointer to anunsigned long long
and back. This is because anunsigned long long
is always at least 64 bits, and pointers in the real world are never larger than 64 bits.Therefore, I decided to suppress the error using an intermediate cast to
uintptr_t
.Summary by CodeRabbit