ttp4.c

gcc-you can use this code to learn something about gcc, and inquire further into linux,

// { dg-do compile }
// Origin: Ewgenij Gawrilow <[e-mail]>

// PR c++/6723
// ICE when default template argument contains instantiation of
// template template parameter.

template <typename A, typename B,
	  template <typename,typename> class Predicate,
	  bool _matches=Predicate<A,B>::answer>
struct helper { };