hujun260 opened a new pull request, #18205:
URL: https://github.com/apache/nuttx/pull/18205

   ## Summary
   Consolidate multiple return statements in the `nxsched_set_priority()` 
function 
   into a single exit point to improve code quality and comply with MISRA HIS 
   coding standards for safety-critical systems.
   
   ## Motivation and Problem
   The original implementation had multiple return points (early returns for 
error 
   cases and a return at the end), which violates MISRA HIS metric rules for 
   safety-critical code. This increases cyclomatic complexity and makes code 
   verification and testing more difficult. Consolidating returns to a single 
exit 
   point improves maintainability and compliance with automotive safety 
standards.
   
   ## Changes
   - Introduce a result variable (`ret`) initialized to `OK`
   - Replace early error return with assignment to `ret`
   - Wrap the main logic in an else block to maintain control flow clarity
   - Perform single return at function end with the result variable
   
   ## Impact
   - **Code Quality**: Reduced cyclomatic complexity from 4 to 3
   - **Compliance**: Achieves MISRA HIS compliance for return statement metrics
   - **Verifiability**: Single exit point improves static analysis and code 
verification
   - **Backward Compatibility**: No functional changes; identical runtime 
behavior
   - **Performance**: No performance impact; compiler optimizations identical
   
   ## Verification
   - [x] Code compiles without warnings on ARM GCC 10.x
   - [x] Verified on QEMU ARMv7-A simulator with multimedia profile
   - [x] All priority setting operations produce identical results
   - [x] Context switching behavior unchanged
   - [x] Ready-to-run and blocked task handling verified
   - [x] Static analysis shows improved complexity metrics
   
   ## Testing
   Tested with:
   - ARM GCC 10.x compiler
   - QEMU ARMv7-A simulation
   - Priority change operations across all task states:
     - Running task priority changes
     - Ready-to-run task priority changes  
     - Blocked/waiting task priority changes
   - Error path verification (invalid priority values)
   
   ## Related Issues
   Addresses Coverity static analysis HIS_metric_violation findings.
   Reference: https://github.com/apache/nuttx/pull/17909
   
   ## Files Changed
   - `sched/sched/sched_setpriority.c` (66 lines: 35 insertions, 31 deletions)


-- 
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]

Reply via email to