[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