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

[Sebastian Huber (@sebhub)]

Sebastian Huber started a new discussion on spec/rtems/basedefs/val/basedefs.yml: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/11#note_134030

 > +    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.

What is compiler_fallthrough_attribute_var?

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/11#note_134030
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/658e695c/attachment-0001.htm>