[Bug tree-optimization/49494] New: ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[Bug tree-optimization/49494] New: ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[zsojka at seznam dot cz]

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

           Summary: ICE: in remap_predicate at ipa-inline-analysis.c:1876
                    with -findirect-inlining -finline-small-functions
           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 24575
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24575
reduced testcase (the same as gfortran.dg/pr49179.f90)

Compiler output:
$ gcc -O -findirect-inlining -fno-guess-branch-probability -finline-functions
-finline-small-functions testcase.f90
testcase.f90:8:0: internal compiler error: vector VEC(int,base) index domain
error, in remap_predicate at ipa-inline-analysis.c:1876
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r175265 - crash

[Bug tree-optimization/49494] [4.7 Regression] ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[dominiq at lps dot ens.fr]

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

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.06.21 20:08:45
     Ever Confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2011-06-21 20:08:45 UTC ---
Revision 172608 is OK, 173763 is not. Note that the ICE is gone for versions
bootstrapped with --enable-checking=release.

[Bug tree-optimization/49494] [4.7 Regression] ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu.org
   Target Milestone|---                         |4.7.0

[Bug tree-optimization/49494] [4.7 Regression] ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-08-02 14:23:32 UTC ---
Re-confirmed.

[Bug tree-optimization/49494] [4.7 Regression] ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[hubicka at gcc dot gnu.org]

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

--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-08-05 15:25:34 UTC ---
Problem here is that more_ok is compiled into function having 4 parameters
(where first parameter is return value) and it is called with 3 parameters.

My fortran fu is not on par to tell if this is expected. Originally I assumed
that we won't inline this case since we will consider the call uninlinable. We
however do that only on type mismatch, not on mismatch in number of parameters.
Will fix that with bounds check.

[Bug tree-optimization/49494] [4.7 Regression] ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[hubicka at gcc dot gnu.org]

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

--- Comment #4 from Jan Hubicka <hubicka at gcc dot gnu.org> 2011-08-05 20:56:08 UTC ---
Author: hubicka
Date: Fri Aug  5 20:56:05 2011
New Revision: 177484

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=177484
Log:
+     PR middle-end/49494
+     * ipa-inline-analysis.c (remap_predicate): Add bounds check.
+     * gfortran.dg/pr49494.f90: New testcase.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr49494.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/ipa-inline-analysis.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/49494] [4.7 Regression] ICE: in remap_predicate at ipa-inline-analysis.c:1876 with -findirect-inlining -finline-small-functions

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-08-22 08:27:33 UTC ---
Assuming this is fixed.