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