[Bug tree-optimization/48929] New: [4.7 Regression] ICE: in estimate_size_after_inlining, at ipa-inline-analysis.c:1961 with -findirect-inlining

[Bug tree-optimization/48929] New: [4.7 Regression] ICE: in estimate_size_after_inlining, at ipa-inline-analysis.c:1961 with -findirect-inlining

[zsojka at seznam dot cz]

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

           Summary: [4.7 Regression] ICE: in estimate_size_after_inlining,
                    at ipa-inline-analysis.c:1961 with -findirect-inlining
           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 24208
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24208
reduced testcase

Compiler output:
$ gcc -O -findirect-inlining testcase.c 
testcase.c:30:1: internal compiler error: in estimate_size_after_inlining, at
ipa-inline-analysis.c:1961
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r173545 - crash
4.6 r173059 - OK

[Bug tree-optimization/48929] [4.7 Regression] ICE: in estimate_size_after_inlining, at ipa-inline-analysis.c:1961 with -findirect-inlining

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.05.08 14:04:22
                 CC|                            |hubicka at gcc dot gnu.org
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2011-05-08 14:04:22 UTC ---
It was caused by revision 173190:

http://gcc.gnu.org/ml/gcc-cvs/2011-04/msg01386.html

[Bug tree-optimization/48929] [4.7 Regression] ICE: in estimate_size_after_inlining, at ipa-inline-analysis.c:1961 with -findirect-inlining

[hubicka at gcc dot gnu.org]

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

--- Comment #2 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-06-04 13:02:28 UTC ---
Created attachment 24428
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24428
Pack I am testing

The problem is that the code assumes transitivity in edge predicates, while
this is broken by bug in remap_edge_predicates.  When inlining function F that
has predicate P and F contains edge with no predicates, the edge should be
remapped to have predicate P.

Regtesting/bootstrapping the patch and will commit it if it passes.

[Bug tree-optimization/48929] [4.7 Regression] ICE: in estimate_size_after_inlining, at ipa-inline-analysis.c:1961 with -findirect-inlining

[hubicka at gcc dot gnu.org]

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

--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-06-04 14:24:24 UTC ---
Author: hubicka
Date: Sat Jun  4 14:24:20 2011
New Revision: 174638

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=174638
Log:
    PR tree-optimize/48929
    * gcc.c-torture/compile/pr48929.c: New testcase.
    * ipa-inline-analysis.c (remap_edge_predicates): Fix handling
    of empty predicate.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr48929.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-inline-analysis.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/48929] [4.7 Regression] ICE: in estimate_size_after_inlining, at ipa-inline-analysis.c:1961 with -findirect-inlining

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

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

--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-06-04 18:07:27 UTC ---
Fixed.