Objective-C @try/@catch/@finally prevents "control reaches end of non-void function" warnings/errors from being detected.

exception_fail.m

// This demonstrates a critical, yet absent compiler warning for the missing return in this non-void function.
- (id)nonVoidFunctionWithoutReturn {
    @try {
        [NSException raise:@"foo" format:nil];
    } @catch (NSException* e) {
        NSLog([e description]);
    }
    /*
    @finally { 
      // adding @finally doesn't make a difference
    }
    */
}