https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97565

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
So the odd thing is that PTA sees

      /* Nodes without a body are not interesting.  Especially do not
         visit clones at this point for now - we get duplicate decls
         there for inline clones at least.  */
      if (!node->has_gimple_body_p () || node->inlined_to)
        continue;
      node->get_body ();

(gdb) p node->debug ()
abort/0 (abort) @0x7ffff661b000
  Type: function definition
  Visibility: in_other_partition externally_visible prevailing_def_ironly_exp
external public visibility_specified
  References: 
  Referring: abort/2 (alias) 
  Read from file: ./t.ltrans0.o
  Availability: available
  Unit id: 2
  Function flags: count:1073741824 (estimated locally) nonfreeing_fn
unlikely_executed
  Called by: 
  Calls: 


but

  /* Return true when callgraph node is a function with Gimple body defined
     in current unit.  Functions can also be define externally or they
     can be thunks with no Gimple representation.

     Note that at WPA stage, the function body may not be present in memory. 
*/
  inline bool has_gimple_body_p (void);

where I assume that this means the current _LTRANS_ unit has the body
defined.

The other odd thing is that the node has ->used_from_other_partition false.

Full initial symtab:

Creating file ./t.ltrans0.o with sub id 0x7c0d6948e785db2d
Symbol table:

abort/0 (abort) @0x7f3431cf9000
  Type: function definition
  Visibility: in_other_partition externally_visible prevailing_def_ironly_exp
external public visibility_specified
  References:
  Referring: abort/2 (alias)
  Read from file: ./t.ltrans0.o
  Unit id: 2
  Function flags: count:1073741824 (estimated locally) nonfreeing_fn
unlikely_executed
  Called by:
  Calls:
abort/2 (abort) @0x7f3431ef5ee0
  Type: function definition analyzed alias transparent_alias
  Visibility: externally_visible external public visibility_specified
  References: abort/0 (alias)
  Referring:
  Read from file: ./t.ltrans0.o
  Unit id: 3
  Function flags:
  Called by: main/1 (0 (precise),0.00 per call) (can throw external)
  Calls:
main/1 (main) @0x7f3431ef5dd0
  Type: function definition analyzed
  Visibility: externally_visible prevailing_def public
  References:
  Referring:
  Read from file: ./t.ltrans0.o
  Unit id: 3
  Function flags: count:0 (precise) only_called_at_startup nonfreeing_fn
unlikely_executed
  Called by:
  Calls: abort/2 (0 (precise),0.00 per call) (can throw external)


oddly enough symbol and alias are in different partitions?

Honza - is this a PTA bug (need to check in_other_partition?) or a IPA bug?

Reply via email to