以下のエラーを検出することが出来ます。

（実例１）

sub( int cnt ) { 　　switch( cnt ) 　　{ 　　case 1 : 　　　　printf( "cnt = 1" ); 　　case 2 : 　　　　printf( "cnt = 2" ); 　　} }

次のcase文に抜け落ちてしまう。