[Bug ipa/58332] New: error: inlined_to pointer is set but no predecessors found

[Bug ipa/58332] New: error: inlined_to pointer is set but no predecessors found

[rsandifo at gcc dot gnu.org]

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

            Bug ID: 58332
           Summary: error: inlined_to pointer is set but no predecessors
                    found
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ipa
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rsandifo at gcc dot gnu.org
                CC: hubicka at gcc dot gnu.org
            Target: x86_64-linux-gnu

The following testcase:

----------------------------------------------------------------------------
static inline int foo (int x) { return x + 1; }
__attribute__ ((__optimize__ (0))) int bar (void) { return foo (100); }
----------------------------------------------------------------------------

ICEs after r202187 with:

----------------------------------------------------------------------------
foo.c:2:71: error: inlined_to pointer is set but no predecessors found
 __attribute__ ((__optimize__ (0))) int bar (void) { return foo (100); }
                                                                       ^
_ZL3fooi/0 (int foo(int)) @0x7f6911eac000
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Function int foo(int)/0 is inline copy in int bar()/1
  Availability: local
  Function flags: body local
  Called by: 
  Calls: 
/tmp/foo.c:2:71: internal compiler error: verify_cgraph_node failed
0x918f05 verify_cgraph_node(cgraph_node*)
        /home/richards/gcc/wide-int/gcc/gcc/cgraph.c:2866
0x910531 verify_symtab_node(symtab_node_def*)
        /home/richards/gcc/wide-int/gcc/gcc/symtab.c:772
0x910598 verify_symtab()
        /home/richards/gcc/wide-int/gcc/gcc/symtab.c:789
0x921389 compile()
        /home/richards/gcc/wide-int/gcc/gcc/cgraphunit.c:2146
0x9214b1 finalize_compilation_unit()
        /home/richards/gcc/wide-int/gcc/gcc/cgraphunit.c:2209
0x697554 cp_write_global_declarations()
        /home/richards/gcc/wide-int/gcc/gcc/cp/decl2.c:4364
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
----------------------------------------------------------------------------

I'm not saying we did the right thing before that either,
just that it didn't ICE :-)

[Bug ipa/58332] error: inlined_to pointer is set but no predecessors found

[hubicka at gcc dot gnu.org]

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

Jan Hubicka <hubicka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2013-09-06
           Assignee|unassigned at gcc dot gnu.org      |hubicka at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Hmm, indeed, it is a latent problem that we inlined into !optimize function. I
suppose all calls should be marged as uninlinable when this happens and we are
not early inlining.  I will look into that.

[Bug ipa/58332] error: inlined_to pointer is set but no predecessors found

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jan.smets@alcatel-lucent.co
                   |                            |m

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
*** Bug 58439 has been marked as a duplicate of this bug. ***

[Bug ipa/58332] [4.9 Regression] error: inlined_to pointer is set but no predecessors found

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0
            Summary|error: inlined_to pointer   |[4.9 Regression] error:
                   |is set but no predecessors  |inlined_to pointer is set
                   |found                       |but no predecessors found

[Bug ipa/58332] [4.9 Regression] error: inlined_to pointer is set but no predecessors found

[hubicka at gcc dot gnu.org]

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

--- Comment #3 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
Author: hubicka
Date: Tue Sep 17 17:45:00 2013
New Revision: 202661

URL: http://gcc.gnu.org/viewcvs?rev=202661&root=gcc&view=rev
Log:

    PR middle-end/58332
    * gcc.c-torture/compile/pr58332.c: New testcase.
    * cif-code.def (FUNCTION_NOT_OPTIMIZED): New CIF code.
    * ipa-inline.c (can_inline_edge_p): Do not downgrade
    FUNCTION_NOT_OPTIMIZED.
    * ipa-inline-analysis.c (compute_inline_parameters): Function
    not optimized is not inlinable unless it is alwaysinline.
    (inline_analyze_function): Force calls in not optimized
    function not inlinable.


Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr58332.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cif-code.def
    trunk/gcc/ipa-inline-analysis.c
    trunk/gcc/ipa-inline.c
    trunk/gcc/testsuite/ChangeLog

[Bug ipa/58332] [4.9 Regression] error: inlined_to pointer is set but no predecessors found

[jan.smets@alcatel-lucent.com]

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

--- Comment #4 from Jan Smets <jan.smets@alcatel-lucent.com> ---
Verified