Central | spec/rtems: add fallthrough to basedefs (!11)

Gedare Bloom (@gedare) gitlab at rtems.org
Thu Oct 9 14:54:36 UTC 2025




Gedare Bloom commented on a discussion on spec/rtems/basedefs/val/basedefs.yml: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/11#note_134047

 > +    beginning of this file.
 > +  action-code: |
 > +      int x = 0;
 > +      switch (x) {
 > +        case 0:
 > +          x = 1;
 > +          RTEMS_FALL_THROUGH();
 > +        default:
 > +          x = 0;
 > +      }
 > +  checks:
 > +  - brief: |
 > +      It cannot be checked that the ${../if/fallthrough:/name}
 > +      macro has the desired effect. It is checked that such a macro exists
 > +      and one can manually check that no compiler warnings are produced
 > +      for the compiler_fallthrough_attribute_var.

A copy-paste and find-replace error. I have rewritten it.

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/11#note_134047
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/20251009/055e0387/attachment-0001.htm>


More information about the bugs mailing list