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

[Sebastian Huber (@sebhub)]

Sebastian Huber started a new discussion on spec/rtems/basedefs/req/fallthrough-0.yml: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/11#note_134027

 > +SPDX-License-Identifier: CC-BY-SA-4.0
 > +copyrights:
 > +- Copyright (C) 2025 Gedare Bloom 
 > +enabled-by: true
 > +functional-type: function
 > +links:
 > +- role: interface-function
 > +  uid: ../if/fallthrough
 > +rationale: null
 > +references: []
 > +requirement-type: functional
 > +text: |
 > +  When the code is compiled with the GNU C compiler,

The macro should do this in any case, for example a C++ compiler using the right standard version. The placement clause is more a pre-condition and not an event. I would formulate it like this:

```
While the ${../if/fallthrough:/name} macro is used prior to a case statement,
the ${../if/fallthrough:/name} macro shall prevent the compiler from
emitting a warning that the statement may fall through.
```

-- 
View it on GitLab: https://gitlab.rtems.org/rtems/prequal/rtems-central/-/merge_requests/11#note_134027
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/20251008/883284e5/attachment-0001.htm>