\brief Check for switch edges that go straight to the exit block Some switch forms have edges that effectively skip the body of the switch and go straight to the exit Many jumptables schemes have a \e default (i.e. if nothing else matches) edge. This edge cannot be a normal \b case because there would be too many labels to explicitly specify. The edge must either be labeled as \e default or it
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected