Functions without a return statements should not be checked

[john-h-kastner]

We currently mark functions without a return statement as checked. For example

int *test(){ }

is converted to

_Ptr<int> test(void){ }

[kyleheadley]

The general problem requires following control flow to each exit point. Clang emits an error for control flow that doesn't end in return. Does clang provide an interface to access this sort of error? It would be a pain to handle it ourselves.

Or, since there is an error, do we need to fix this at all? It might be acceptable to leave it to the user.