Add warning for falling off the end of a function that should return a

value.  This is on by default, and controlled by -Wreturn-type (-Wmost
-Wall).  I believe there should be very few false positives, though
the most interesting case would be:

  int() { bar(); }

when bar does:

  bar() { while (1) ; }

Here, we assume functions return, unless they are marked with the
noreturn attribute.  I can envision a fixit note for functions that
never return normally that don't have a noreturn attribute to add a
noreturn attribute.

If anyone spots other false positives, let me know!

llvm-svn: 76821

1 files changed, 6 insertions, 0 deletions

diff --git a/clang/test/SemaObjC/return.m b/clang/test/SemaObjC/return.m
new file mode 100644
index 00000000000..9acf4707995
--- /dev/null
+++ b/clang/test/SemaObjC/return.m
@@ -0,0 +1,6 @@
+// RUN: clang-cc %s -fsyntax-only -verify
+
+int test1() {
+  id a;
+  @throw a;
+}