[Bug c++/52844] ICE

["markus at trippelsdorf dot de" <gcc-bugzilla at gcc dot gnu dot org>]

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

Markus Trippelsdorf <markus at trippelsdorf dot de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |markus at trippelsdorf dot
                   |                            |de

--- Comment #3 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-10-12 15:47:20 UTC ---
As Dave said the testcase is invalid:

Creduce comes up with:

markus@x4 tmp % cat test.ii
namespace std {
typedef int size_t;
template<typename>struct A;
}
struct B
{};
template<class T, T ...>struct vector_c
{
  typedef vector_c type;
};
template<class T, T, T>struct range_c : B
{};
template<class T, T start_finish>struct range_c<T, start_finish,
                                                start_finish>: vector_c<T>
{};
namespace std {
template<typename ...>class tuple;
template<typename ... _Elements>tuple<typename A<
                                        _Elements>::__type ...>make_tuple();
template<typename F, typename ... T, std::size_t ... Is>
  auto apply_tuple_(F, std::tuple<T ...>,
                    vector_c<Is ...>)->decltype(0);
template<typename F, typename ... T>
  auto apply_tuple(F, std::tuple<T ...>t)
  -> decltype(apply_tuple_ (0, t, typename range_c<std::size_t, 0,
                           sizeof ... (T)>::type()));
int x = apply_tuple(0, std::make_tuple);
}

markus@x4 tmp % g++ -std=c++11 -c test.ii
test.ii: In substitution of âtemplate<class F, class ... T> decltype
(std::apply_tuple_(0, t, typename range_c<int, 0, sizeof (T ...)>::type()))
std::apply_tuple(F, std::tuple<T ...>) [with F = int; T = {}]â:
test.ii:27:39:   required from here
test.ii:26:51: internal compiler error: in unify_one_argument, at cp/pt.c:15162
                            sizeof ... (T)>::type()));
                                                   ^
Please submit a full bug report,


markus@x4 tmp % clang++ -std=c++11 -c test.ii
test.ii:22:30: error: template argument for template type parameter must be a
type
                    vector_c<Is ...>)->decltype(0);
                             ^~~~~~
test.ii:7:16: note: template parameter is declared here
template<class T, T ...>struct vector_c
               ^
test.ii:27:9: error: no matching function for call to 'apply_tuple'
int x = apply_tuple(0, std::make_tuple);
        ^~~~~~~~~~~
test.ii:24:8: note: candidate template ignored: substitution failure [with F =
int, T = <>]: no matching function for call to 'apply_tuple_'
  auto apply_tuple(F, std::tuple<T ...>t)
       ^
2 errors generated.


markus@x4 tmp % icpc -std=c++11 test.ii
test.ii(2): warning #910: declaration of "size_t" does not match the expected
type "unsigned long"
  typedef int size_t;
              ^

test.ii(22): error: constant "Is" is not a type name
                      vector_c<Is ...>)->decltype(0);
                               ^

test.ii(22): error: pack expansion does not make use of any argument packs
                      vector_c<Is ...>)->decltype(0);
                                  ^

test.ii(20): warning #2922: constant "Is" cannot be used because it follows a
parameter pack and cannot be deduced from the parameters of function template
"std::apply_tuple_"
  template<typename F, typename ... T, std::size_t ... Is>
                                                       ^

test.ii(27): error: no instance of function template "std::apply_tuple" matches
the argument list
            argument types are: (int, <unknown-type>)
  int x = apply_tuple(0, std::make_tuple);
          ^

compilation aborted for test.ii (code 2)