[Bug tree-optimization/32975] New: [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[Bug tree-optimization/32975] New: [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[belyshev at depni dot sinp dot msu dot ru]

// Compile with -O1 -finline-functions -fipa-cp
// reduced from ada/adadecode.c

static int f0 (char *s0, char *s1)
{
  return __builtin_strlen (s0) > __builtin_strlen (s1);
}

int f1 (char *s, int j)
{
  if (f0 (s, ""))
    return 1;
  return j;
}

void f2 (char *s)
{
  f1 (s, 0);
}

//
bug.c:16: error: edge T.0->__builtin_strlen has no corresponding call_stmt
bug.c:16: internal compiler error: Segmentation fault


-- 
           Summary: [4.3 Regression] ICE segfault (verify_cgraph failure
                    after ipa-cp) with -finline-functions -fipa-cp
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code, ice-checking
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: belyshev at depni dot sinp dot msu dot ru


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #1 from belyshev at depni dot sinp dot msu dot ru  2007-08-03 15:06 -------
Fails since:

r121570 | hubicka | 2007-02-04 16:01:13 +0300 (Sun, 04 Feb 2007) | 7 lines

        * ipa-inline.c (try_inline): Improve debug output; work on already
        inline edges too.
        (cgraph_decide_inlining_incrementally): Indent; improve debug output;
        call try_inline for already inlined edges too when flattening; 
        inline also functions that make callee growth but overall unit size
        reduce.


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |hubicka at gcc dot gnu dot
                   |                            |org


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-08-07 15:04 -------
This has to do with folding of __builtin_strlen.


-- 


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[jakub at gcc dot gnu dot org]

------- Comment #3 from jakub at gcc dot gnu dot org  2007-09-04 06:14 -------
Can't reproduce this, neither on x86_64-linux, nor on ppc-linux, on the former
I tried cc1's I had laying around back through to 2007-08-21 and all of them
worked.


-- 


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[jakub at gcc dot gnu dot org]

------- Comment #4 from jakub at gcc dot gnu dot org  2007-09-04 07:30 -------
This got fixed by the PR30564 fix,
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127638
Do we want to commit this testcase as well?


-- 


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #5 from belyshev at depni dot sinp dot msu dot ru  2007-09-04 08:53 -------
(In reply to comment #4)
> This got fixed by the PR30564 fix,
> http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=127638
> Do we want to commit this testcase as well?
> 

I think yes, please do.


-- 

belyshev at depni dot sinp dot msu dot ru changed:

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


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

[Bug tree-optimization/32975] [4.3 Regression] ICE segfault (verify_cgraph failure after ipa-cp) with -finline-functions -fipa-cp

[jakub at gcc dot gnu dot org]

------- Comment #6 from jakub at gcc dot gnu dot org  2007-09-23 09:44 -------
Subject: Bug 32975

Author: jakub
Date: Sun Sep 23 09:44:23 2007
New Revision: 128688

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=128688
Log:
        PR tree-optimization/32772
        * gcc.c-torture/compile/20070905-1.c: New test.

        PR tree-optimization/32975
        * gcc.dg/pr32975.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/20070905-1.c
    trunk/gcc/testsuite/gcc.dg/pr32975.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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