[Bug tree-optimization/53426] [4.8 Regression] ICE:create_variable_info_for at ../../gcc-trunk/gcc/tree-ssa-structalias.c:5581

["rguenth at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |lto
             Status|WAITING                     |ASSIGNED
                 CC|                            |hubicka at gcc dot gnu.org
          Component|lto                         |tree-optimization
         AssignedTo|unassigned at gcc dot       |rguenth at gcc dot gnu.org
                   |gnu.org                     |
   Target Milestone|---                         |4.8.0
            Summary|[lto with ipa-pta]:         |[4.8 Regression]
                   |ICE:create_variable_info_fo |ICE:create_variable_info_fo
                   |r  at                       |r  at
                   |../../gcc-trunk/gcc/tree-ss |../../gcc-trunk/gcc/tree-ss
                   |a-structalias.c:5581        |a-structalias.c:5581

--- Comment #3 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-05-21 11:45:14 UTC ---
Hum. IPA-PTA ... yeah ... :/

Mine I guess (note ipa-pta is experimental).

Honza - we are trying to access the varinfo for
_ZTIN5boost16exception_detail19error_info_injectorISt13runtime_errorEE
which is mentioned in the initializer of
_ZTVN5boost16exception_detail19error_info_injectorISt13runtime_errorEE
but that variable, despite mentioned, does not have a varpool entry.  Is
that by design?  Can we not look at the initializer of a decl via

      /* In IPA mode parse the initializer and generate proper constraints
         for it.  */
      else
        {
          struct varpool_node *vnode = varpool_get_node (decl);

          /* For escaped variables initialize them from nonlocal.  */
          if (!varpool_all_refs_explicit_p (vnode))
            make_copy_constraint (vi, nonlocal_id);

          /* If this is a global variable with an initializer and we are in
             IPA mode generate constraints for it.  */
          if (DECL_INITIAL (decl))
            {
...

?  Or is varpool_all_refs_explicit_p not the correct predicate to check
here?