Reports functions which must either recurse infinitely or throw an exception. Functions reported by this inspection can not return normally.