[Bug middle-end/51647] New: [4.7 Regression] Bogus "control reaches end of non-void function [-Wreturn-type]"

[Bug middle-end/51647] New: [4.7 Regression] Bogus "control reaches end of non-void function [-Wreturn-type]"

[burnus at gcc dot gnu.org]

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

             Bug #: 51647
           Summary: [4.7 Regression] Bogus "control reaches end of
                    non-void function [-Wreturn-type]"
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: diagnostic
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org
              Host: x86_64-unknown-linux-gnu


Created attachment 26157
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26157
test case

With the current trunk, I get:

$ g++ -S -Wall bogus_warn.cc
bogus_warn.cc: In function ‘int nsp::test(nsp::LookupResult*)’:
bogus_warn.cc:44:1: warning: control reaches end of non-void function
[-Wreturn-type

While using g++ 4.6, no warning is shown.

Looking at my builds (no warranty):
No warning with: 2011-11-06 (Rev. 181031)
   Warning with: 2011-11-11 (Rev. 181283)

[Bug middle-end/51647] [4.7 Regression] Bogus "control reaches end of non-void function [-Wreturn-type]"

[burnus at gcc dot gnu.org]

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

Tobias Burnus <burnus at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0

[Bug middle-end/51647] [4.7 Regression] Bogus "control reaches end of non-void function [-Wreturn-type]"

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-12-21 11:42:16 UTC ---
Dup of PR51644 I think.

[Bug middle-end/51647] [4.7 Regression] Bogus "control reaches end of non-void function [-Wreturn-type]"

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-21 14:51:34 UTC ---
Author: jakub
Date: Wed Dec 21 14:51:19 2011
New Revision: 182589

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182589
Log:
    PR middle-end/51644
    PR middle-end/51647
    * tree-eh.c (decide_copy_try_finally): At -O0, return true
    even when ndests is not 1, if there are only gimple_clobber_p
    (or debug) stmts in the finally sequence.
    * tree-inline.c (estimate_num_insns): Return 0 for gimple_clobber_p
    stmts.

    * gcc.dg/pr51644.c: New test.
    * g++.dg/warn/Wreturn-4.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/warn/Wreturn-4.C
    trunk/gcc/testsuite/gcc.dg/pr51644.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-eh.c
    trunk/gcc/tree-inline.c

[Bug middle-end/51647] [4.7 Regression] Bogus "control reaches end of non-void function [-Wreturn-type]"

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |jakub at gcc dot gnu.org
         Resolution|                            |DUPLICATE

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-12-21 15:32:10 UTC ---
Fixed.

*** This bug has been marked as a duplicate of bug 51644 ***