Yes, it is wrong jump in catch block. But current front-end wrongly accepts the code.
Therefore I updated PR to raise CTFE error for the case.