[Bug c++/22435] New: Incorrect "may reach end of non-void function" warning

["fw at deneb dot enyo dot de" <gcc-bugzilla at gcc dot gnu dot org>]

The code below results in an incorrect warning.  If the "break" statement is
removed, the warning disappears.  The C compiler does not issue the warning for
both programs.

#include <stdlib.h>
// Imports: extern void abort (void) throw () __attribute__ ((__noreturn__));

inline unsigned
convert_watch(int w)
{
  switch (w) {
    case 0:
      return 0;
      // Deleting the following line suppresses the warning.
      break;
    default:
      abort();
  }
}

extern void foo(unsigned);

void
add_fd(int w, int* fdh)
{
  unsigned u = convert_watch(w); // warning: "may reach end..."
  foo(u);                       // silence unused warning
}

-- 
           Summary: Incorrect "may reach end of non-void function" warning
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: fw at deneb dot enyo dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22435