http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56870
--- Comment #3 from Kai Tietz <ktietz at gcc dot gnu.org> 2013-04-08 06:51:58 UTC --- Hmm, this bug looks like a duplicate of PR/56742 Could you test if provided patch in PR/56742 fixes your issue?
- [Bug objc/56870] New: @catch handler broken wit... js-gcc at webkeks dot org
- [Bug objc/56870] @catch handler broken wit... pinskia at gcc dot gnu.org
- [Bug objc/56870] @catch handler broken wit... js-gcc at webkeks dot org
- [Bug objc/56870] @catch handler broken wit... steven at gcc dot gnu.org
- [Bug objc/56870] @catch handler broken wit... ktietz at gcc dot gnu.org
