[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