[Bug tree-optimization/51719] New: [4.7 Regression] ICE: verify_gimple failed: LHS in noreturn call with -fpartial-inlining -fprofile-use and exceptions

[Bug tree-optimization/51719] New: [4.7 Regression] ICE: verify_gimple failed: LHS in noreturn call with -fpartial-inlining -fprofile-use and exceptions

[zsojka at seznam dot cz]

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

             Bug #: 51719
           Summary: [4.7 Regression] ICE: verify_gimple failed: LHS in
                    noreturn call with -fpartial-inlining -fprofile-use
                    and exceptions
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 26206
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26206
reduced testcase

Compiler output:
$ rm *.gcda
$ g++ testcase.C -O -fpartial-inlining -fprofile-generate
$ ./a.out
$ g++ testcase.C -O -fpartial-inlining -fprofile-use     
testcase.C: In function 'int foo(int (*)())':
testcase.C:23:1: error: LHS in noreturn call
# VUSE <.MEM_8(D)>
D.2203_15 = bar ();

testcase.C:23:1: internal compiler error: verify_gimple failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r182733 - crash
r180540 - crash
r178498 - OK
4.6 r180325 - OK

[Bug tree-optimization/51719] [4.7 Regression] ICE: verify_gimple failed: LHS in noreturn call with -fpartial-inlining -fprofile-use and exceptions

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-01-02
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-02 10:20:54 UTC ---
Confirmed.

[Bug tree-optimization/51719] [4.7 Regression] ICE: verify_gimple failed: LHS in noreturn call with -fpartial-inlining -fprofile-use and exceptions

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-02 18:18:13 UTC ---
Created attachment 26219
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26219
gcc47-pr51719.patch

Untested fix.

[Bug tree-optimization/51719] [4.7 Regression] ICE: verify_gimple failed: LHS in noreturn call with -fpartial-inlining -fprofile-use and exceptions

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-03 09:09:45 UTC ---
Author: jakub
Date: Tue Jan  3 09:09:41 2012
New Revision: 182832

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=182832
Log:
    PR tree-optimization/51719
    * value-prof.c (gimple_ic): When indirect call isn't noreturn,
    but direct call is, clear direct call's lhs and don't add fallthrough
    edge from dcall_bb to join_bb and PHIs.

    * g++.dg/tree-prof/pr51719.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/tree-prof/pr51719.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/value-prof.c

[Bug tree-optimization/51719] [4.7 Regression] ICE: verify_gimple failed: LHS in noreturn call with -fpartial-inlining -fprofile-use and exceptions

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-03 09:10:53 UTC ---
Fixed.