-
Notifications
You must be signed in to change notification settings - Fork 2.6k
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 uint32_t printed as unsigned int #9225
Fix uint32_t printed as unsigned int #9225
Conversation
This is ok in practice since we don't support 16-bit platforms, but it makes `arm-none-eabi-gcc-10 -mthumb -Wformat` complain. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
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.
LGTM
Is there a problem with the CI? DCO status is normally reported quickly |
5f09f86
to
6f60fbe
Compare
DCO occasionally gets lost on the way. I've force-pushed a new identical commit to kick it again. |
Not helping and #9189 DCO also hasn't reported back. The DCO job is down. |
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.
LGTM, DCO is good by manual inspection
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
6f60fbe
to
69770aa
Compare
I force-pushed a new head with only a commit date change to re-run the CI (DCO service outage, and unrelated intermittent failure on the internal CI that's now fixed). |
c9ab367
This is ok in practice since we don't support 16-bit platforms, but it makes
arm-none-eabi-gcc-10 -mthumb -Wformat
complain.Fixes
build_arm_none_eabi_gcc_no_64bit_multiplication
on my machine (arm-none-eabi-gcc 10.3). The CI doesn't complain because we're using an older compiler version.PR checklist
Please tick as appropriate and edit the reasons (e.g.: "backport: not needed because this is a new feature")