Central | spec: Fix compiler warnings and simulator assertions (!18)
Karthikey Kadati (@karthikey_kadati)
gitlab at rtems.org
Wed Mar 25 18:17:47 UTC 2026
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.rtems.org/pipermail/bugs/attachments/20260325/592cdc30/attachment-0001.htm>
More information about the bugs
mailing list