(start_function): Warn if volatile fn returns non-void.

From-SVN: r5022

diff --git a/gcc/c-decl.c b/gcc/c-decl.c
index 896b52103298130fd5b4cc7159e81489c72f03ab..b220cacae85823fcf439555dc7fd5f37d6fa7395 100644 (file)
--- a/gcc/c-decl.c
+++ b/gcc/c-decl.c
@@ -5648,6 +5648,10 @@ start_function (declspecs, declarator, nested)
 
   announce_function (decl1);
 
+  if (TREE_THIS_VOLATILE (decl)
+      && TREE_TYPE (decl) != void_type_node)
+    warning ("volatile function returns non-void value");
+
   if (TYPE_SIZE (TREE_TYPE (TREE_TYPE (decl1))) == 0)
     {
       error ("return-type is an incomplete type");