Recently I made some improvements to the C/C++ code instrumenter used by
Rapita's timing and coverage tools. The result of these improvements is
that the new version of RVS is now going to support some really obscure
features of C, such as "switch" statements in which the case labels are
nested inside of other structures. The famous example of code like that
is called
Duff's Device.
I wrote a short article about the work which you can find here:
https://www.rapitasystems.com/blog/supporting-duffs-device-rvs.