Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/g++.dg/debug/verify1.C @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
1 // PR c++/92601
2 // { dg-additional-options "-g -fchecking -std=c++17" }
3
4 typedef int size_t;
5 template <typename, int __v> struct integral_constant {
6 static constexpr int value = __v;
7 };
8 template <typename> struct A;
9 template <typename _Tp> using __remove_cv_t = typename A<_Tp>::type;
10 template <typename _Tp, typename _Up>
11 struct B : integral_constant<bool, __is_same_as(_Tp, _Up)> {};
12 template <typename...> class tuple;
13 template <typename> struct A {
14 using type = tuple<const char *, const char *>;
15 };
16 template <typename> struct C { typedef __remove_cv_t<int> __type; };
17 template <typename _Tp> class D {
18 public:
19 typedef typename C<_Tp>::__type type;
20 };
21 template <bool> struct enable_if;
22 template <int> struct F {};
23 template <typename, typename> class G {
24 public:
25 int operator*();
26 void operator++();
27 };
28 template <typename _Iterator, typename _Container>
29 bool operator!=(G<_Iterator, _Container>, G<_Iterator, _Container>);
30 template <typename> class H;
31 template <typename = H<tuple<const char *, const char *>>> class vector {
32 public:
33 typedef G<int, vector> iterator;
34 iterator begin();
35 iterator end();
36 };
37 template <typename> struct pack_c { typedef pack_c type; };
38 template <typename, typename> struct make_index_pack_join;
39 template <size_t... Left, size_t... Right>
40 struct make_index_pack_join<pack_c<size_t, Left...>, pack_c<size_t, Right...>>
41 : pack_c<size_t> {};
42 template <int N>
43 struct I
44 : make_index_pack_join<typename I<N / 2>::type, typename I<N / 2>::type> {};
45 template <> struct I<1> : pack_c<size_t> {};
46 template <typename TTuple, typename>
47 struct are_tuples_compatible_not_same
48 : F<B<typename D<TTuple>::type, int>::value> {};
49 template <typename...> struct tuple_impl;
50 template <size_t... Is, typename... Ts>
51 struct tuple_impl<pack_c<size_t, Is...>, Ts...> {
52 template <typename UTuple, typename enable_if<are_tuples_compatible_not_same<
53 tuple<>, UTuple>::value>::type>
54 tuple_impl(UTuple &&);
55 };
56 template <typename... Ts> class tuple {
57 tuple_impl<typename I<sizeof...(Ts)>::type> _impl;
58 tuple(tuple &) = default;
59 };
60 vector message_handler_registrations;
61 void fn1() {
62 for (auto t : message_handler_registrations)
63 ;
64 }