[Bug c++/47987] ICE on legal code (when attempting to inline non-implicitly instantiated template member function)

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.03.04 13:29:35
                 CC|                            |jamborm at gcc dot gnu.org
      Known to work|                            |4.6.0
     Ever Confirmed|0                           |1

--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-03-04 13:29:35 UTC ---
Confirmed.  Seems to be fixed on trunk.  On the brach I get with checking
enabled:

> ../../gcc45-g/gcc/cc1plus  -quiet t.ii -O -fipa-cp -fipa-cp-clone  -fno-implicit-templates
crashtest.cxx:455:22: error: missing callgraph edge for call stmt:
# .MEM_54 = VDEF <.MEM_53(D)>
D.48510_24 = LKV::Array<long unsigned int, true, LKV::_T<LKV::AbsPtr>, long
unsigned int>::preallocate (this_6(D), ni_2);

bool LKV::Array<T, use_memmove, PTR, STYPE>::extend_with_value(size_type, const
X&, bool) [with X = long unsigned int, T = long unsigned int, bool use_memmove
= true, PTR = LKV::_T<LKV::AbsPtr>, STYPE = long unsigned int, size_type = long
unsigned int]/579(537) @0x7ffff40b3138 (inline copy in static bool
LKV::MatchEntity::init_text_2_3(const LKV::Str&, LKV::Str&, LKV::Str&,
LKV::Array<long unsigned int, true, LKV::_T<LKV::AbsPtr>, long unsigned int>*,
LKV::Array<long unsigned int, true, LKV::_T<LKV::AbsPtr>, long unsigned
int>*)/573) availability:available 97 time, 31 benefit 40 size, 15 benefit
reachable body finalized inlinable
  called by: static bool LKV::MatchEntity::init_text_2_3(const LKV::Str&,
LKV::Str&, LKV::Str&, LKV::Array<long unsigned int, true, LKV::_T<LKV::AbsPtr>,
long unsigned int>*, LKV::Array<long unsigned int, true, LKV::_T<LKV::AbsPtr>,
long unsigned int>*)/573 (0.14 per call) (inlined) 
  calls: long int __builtin_expect(long int, long int)/601 (nested in 1 loops)
long int __builtin_expect(long int, long int)/601 (0.14 per call) (nested in 1
loops) long int __builtin_expect(long int, long int)/601 (0.14 per call)
(nested in 1 loops) 
crashtest.cxx:455:22: internal compiler error: verify_cgraph_node failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.