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.


_______________________________________________
bugs mailing list
[email protected]
http://lists.rtems.org/mailman/listinfo/bugs

Reply via email to