Context Navigation

RTEMS_Coverage_Analysis

v55	v56
80	80	* Debug or sanity checking code which should be placed inside an RTEMS_DEBUG conditional.
81	81
82		* Unreachable paths generated ~~by gcc for switches. Sometimes you have to restructure switches to avoid unreachable object code~~.
	82	* Unreachable paths generated for switch statements. If the switch is based upon an enumerated type and the switch includes cases for all values, then it must be possible to actually generate all values at this point in the code. You can restructure the switch to only include possible values and thus avoid unreachable object code. This is sometimes best done by rewriting the switch into a series of if/else statements.
83	83
84	84	* Critical sections which are synchronizing actions with ISRs. Most of these are very hard to hit and may require very specific support from a simulator environment. OAR has used tsim to exercise these paths but this is not reproducible in a BSP independent manner. Worse, sometimes there is often no external way to know the case in question has been hit and no way to do it in a one shot test. The spintrcriticalXX and psxintrcriticalXX tests attempt to reproduce these cases.