Detect functions that never return (and @noreturn annotation)

Detect functions that never return (and @noreturn annotation) #989