S>В чем собственно проблема? Почему компилер ругается?
Видимо потому, что у него есть всего два внутренних состояния для функции: может бросать исключение и не может.