wangzhi16 opened a new pull request, #18255:
URL: https://github.com/apache/nuttx/pull/18255
## Summary
This PR bundles two focused patches at code correctness and minor
optimizations:
1. `5b04ca0` — include/nuttx: replace `uintptr_t` with `void*`.
- Rationale: Align code with MISRA guidance that pointer types should not
be converted to integer types; replace usages of `uintptr_t` where a pointer
was intended with `void*` to avoid improper conversions.
- Author: wangzhi16
2. `3e6eeb6` — sched/sem: Optimize code.
- Rationale: Performance/clarity improvements to semaphore-related
scheduling code (small, localized optimization).
- Author: wangzhi16
## Impact
- Functional: Minimal behavioral changes expected. The `uintptr_t`→`void*`
change is a type-correctness adjustment to satisfy MISRA-style rules and reduce
the risk of unsafe pointer-integer conversions. The semaphore optimization is
intended to improve efficiency but should preserve semantics.
- Build: No notable build-system changes; both patches are source-level
changes and should compile normally. Ensure that replacing `uintptr_t` with
`void*` does not conflict with any code that intentionally relied on integer
representation (there should be none in these patches).
- Compatibility: Backwards source compatibility is preserved for normal
usage; however, any out-of-tree code that relied on the previous `uintptr_t`
typedef-to-integer conversions (non-conforming) would need review.
## Testing
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
