Karthikey Kadati created a merge request: 
https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/18

Project:Branches: karthikey_kadati/rtems-central:fix-unrelated-warnings to 
rtems/prequal/rtems-central:main
Author:   Karthikey Kadati



## Summary

This MR resolves three pre-existing specification issues that trigger -Werror 
build failures or runtime assertion failures with GCC 15 during SMP validation:

1. Fixed `-Wshift-negative-value` in score/timecounter/val/install.yml. 
Shifting negative values is UB in C11; updated logic to shift the positive 
constant before negation.
2. Fixed `-Wsign-compare` in rtems/event/req/send-receive.yml. Updated the 
`waiting_for_event` test context member from `int` to `States_Control` to 
eliminate the signed-vs-unsigned warning.
3. Adjusted the EDF SMP maximum priority assertion in 
rtems/scheduler/val/smp-only.yml from INT_MAX to 255 to align the test 
expectation with actual simulator priority bounds.

These were identified during FMLP validation runs using the sparc/leon3 
cross-toolchain and simulator.

## Generative AI

-- 
View it on GitLab: 
https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/18
You're receiving this email because of your account on gitlab.rtems.org.


_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs

Reply via email to