[Bug optimization/14096] New: verify_cgraph_node failed with always_inline

[Bug optimization/14096] New: verify_cgraph_node failed with always_inline

[falk at debian dot org]

% cat mini.c
typedef void (*mv_switch_mm)();

extern inline __attribute__ ((always_inline)) void ev5_switch_mm() {}
extern inline __attribute__ ((always_inline)) void ev4_switch_mm() {
    ev5_switch_mm();
}

mv_switch_mm eb164_mv = ev5_switch_mm;
mv_switch_mm eb66p_mv = ev4_switch_mm;

% gcc -c -O2 mini.c                          
mini.c:10: error: Inlined_to pointer is set but no predecesors found
ev5_switch_mm/0: (inline copy in ev4_switch_mm/1) needed always_inline
  called by: 
  calls: 
mini.c:10: internal compiler error: verify_cgraph_node failed.
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

-- 
           Summary: verify_cgraph_node failed with always_inline
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: falk at debian dot org
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: alphaev68-unknown-linux-gnu
  GCC host triplet: alphaev68-unknown-linux-gnu
GCC target triplet: alphaev68-unknown-linux-gnu


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

[Bug optimization/14096] [tree-ssa] [unit-at-a-time] verify_cgraph_node failed with always_inline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-02-10 15:59 -------
Confirmed, an other unit-at-a-time problem.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org, hubicka at gcc dot gnu
                   |                            |dot org
           Severity|normal                      |critical
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-02-10 15:59:07
               date|                            |
            Summary|verify_cgraph_node failed   |[tree-ssa] [unit-at-a-time]
                   |with always_inline          |verify_cgraph_node failed
                   |                            |with always_inline
   Target Milestone|---                         |tree-ssa


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

[Bug optimization/14096] [tree-ssa] [unit-at-a-time] verify_cgraph_node failed with always_inline

[rth at gcc dot gnu dot org]

------- Additional Comments From rth at gcc dot gnu dot org  2004-03-04 01:22 -------
Note that this is invalid code.  You asking for an out-of-line copy of
an always_inline function.  We should have generated an error for you.

Spank those kernel losers that keep mucking about with macro expanding
inline, please.  It won't work for the alpha kernel stuff that you're
quoting here.

Left open because we still shouldn't ICE.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|critical                    |minor
           Keywords|ice-on-valid-code           |ice-on-invalid-code


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

[Bug optimization/14096] [tree-ssa] [unit-at-a-time] verify_cgraph_node failed with always_inline

[hubicka at gcc dot gnu dot org]

------- Additional Comments From hubicka at gcc dot gnu dot org  2004-05-05 21:58 -------
The cgraph ICE has been fixed by my patch to mainline (so eventually propagated 
to tree-ssa).  I am not sure about whether we really want to error out on 
requesting out of line copies of always_inline function, so i am keeping PR 
open.  Doing so seems quite strict to me and I am not sure what kind of 
diagnostics we want (we might just output error when expand_function is 
invoked, but we also might want to get more infromative and check this on all 
cases such scenario can happen - taking pointer of static function, declaring 
function as global and such) 
 
Honza 

-- 


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

[Bug tree-optimization/14096] [3.5 Regression] [unit-at-a-time] verify_cgraph_node failed with always_inline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-20 20:08 -------
Fixed.

-- 


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

[Bug tree-optimization/14096] [3.5 Regression] [unit-at-a-time] verify_cgraph_node failed with always_inline

[dank at kegel dot com]

------- Additional Comments From dank at kegel dot com  2004-05-27 16:54 -------
This happens when compiling glibc-2.3.2's stdlib/atof.c for i686 as well.

z.i:15: error: Inlined_to pointer is set but no predecesors found
strtod/3: (inline copy in atof/2) 14 insns tree always_inline
  called by: 
  calls: __strtod_internal/0 
z.i:15: internal compiler error: verify_cgraph_node failed.

To repeat:

i686-unknown-linux-gnu-gcc -O -c z.i

where z.i is:

extern double strtod(__const char *__restrict __nptr, char **__restrict __endptr);
extern double __strtod_internal(__const char *__restrict __nptr, char
**__restrict __endptr, int __group);
extern __inline double
strtod(__const char *__restrict __nptr, char **__restrict __endptr)
{
    return __strtod_internal(__nptr, __endptr, 0);
}
extern __inline double atof(__const char *__nptr)
{
    return strtod(__nptr, (char **) ((void *) 0));
}
double atof(const char *nptr)
{
    return strtod(nptr, (char **) ((void *) 0));
}


-- 


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

[Bug tree-optimization/14096] [3.5 Regression] [unit-at-a-time] verify_cgraph_node failed with always_inline

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-05-27 17:02 -------
I thought I had closed this as fixed, woops.  Note that PR 15398 is for the glibc bug.

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


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

[Bug tree-optimization/14096] [3.5 Regression] [unit-at-a-time] verify_cgraph_node failed with always_inline

[aoliva at gcc dot gnu dot org]

------- Additional Comments From aoliva at gcc dot gnu dot org  2004-07-20 09:34 -------
Richard, what's invalid about taking the address of the extern inline function?
 Wouldn't it be perfectly legitimate to have a non-`extern inline' definition in
a separate translation unit, or even in the same translation unit, that would
then be used?

I'm actually not sure we should be merging inline-related attributes from extern
inline definitions into  out-of-line definitions.  It seems to me that it would
be more useful if we didn't.

Not that it matters much.  AFAICT, `extern inline' is a unofficially deprecated
extension, and there's no way to obtain similar effect to what GCC currently
supports, namely, defining the out-of-line version of a function in a
translation unit that contains the extern inline definition as well.

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


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