Home | History | Annotate | Download | only in 546-regression-simplify-catch
      1 Tests simplification of catch blocks in the presence of trivially dead code
      2 that was not verified by the verifier.
      3