文本文件  |  3行  |  115 B

Tests simplification of catch blocks in the presence of trivially dead code
that was not verified by the verifier.