annotate gcc/testsuite/g++.dg/pr59445.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
2 /* { dg-options "-O2 -Wno-return-type" } */
111
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 template <typename _Iterator> struct A;
kono
parents:
diff changeset
5 template <typename _Tp> struct A<_Tp *> {
kono
parents:
diff changeset
6 typedef _Tp value_type;
kono
parents:
diff changeset
7 typedef int difference_type;
kono
parents:
diff changeset
8 };
kono
parents:
diff changeset
9 template <typename _Compare> struct B {};
kono
parents:
diff changeset
10 template <typename _Compare> struct C {
kono
parents:
diff changeset
11 _Compare _M_comp;
kono
parents:
diff changeset
12 template <typename _Value, typename _Iterator>
kono
parents:
diff changeset
13 int operator()(_Value &p1, _Iterator p2) {
kono
parents:
diff changeset
14 return _M_comp(p1, *p2);
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16 };
kono
parents:
diff changeset
17 template <typename _Compare> C<_Compare> __val_comp_iter(B<_Compare>);
kono
parents:
diff changeset
18 template <typename _RandomAccessIterator, typename _Compare>
kono
parents:
diff changeset
19 void __unguarded_linear_insert(_RandomAccessIterator p1, _Compare p2) {
kono
parents:
diff changeset
20 typename A<_RandomAccessIterator>::value_type a;
kono
parents:
diff changeset
21 _RandomAccessIterator b = p1;
kono
parents:
diff changeset
22 --b;
kono
parents:
diff changeset
23 while (p2(a, b)) {
kono
parents:
diff changeset
24 *p1 = 0;
kono
parents:
diff changeset
25 p1 = b;
kono
parents:
diff changeset
26 --b;
kono
parents:
diff changeset
27 }
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29 template <typename _RandomAccessIterator, typename _Compare>
kono
parents:
diff changeset
30 void __insertion_sort(_RandomAccessIterator, _Compare p2) {
kono
parents:
diff changeset
31 for (_RandomAccessIterator c;; ++c)
kono
parents:
diff changeset
32 __unguarded_linear_insert(c, __val_comp_iter(p2));
kono
parents:
diff changeset
33 }
kono
parents:
diff changeset
34 template <typename _RandomAccessIterator, typename _Distance, typename _Compare>
kono
parents:
diff changeset
35 void __chunk_insertion_sort(_RandomAccessIterator, _Distance, _Compare p3) {
kono
parents:
diff changeset
36 _RandomAccessIterator d;
kono
parents:
diff changeset
37 __insertion_sort(d, p3);
kono
parents:
diff changeset
38 }
kono
parents:
diff changeset
39 template <typename _RandomAccessIterator, typename _Pointer, typename _Compare>
kono
parents:
diff changeset
40 void __merge_sort_with_buffer(_RandomAccessIterator p1, _Pointer, _Compare p3) {
kono
parents:
diff changeset
41 __chunk_insertion_sort(p1, 0, p3);
kono
parents:
diff changeset
42 }
kono
parents:
diff changeset
43 template <typename _RandomAccessIterator, typename _Pointer, typename _Distance,
kono
parents:
diff changeset
44 typename _Compare>
kono
parents:
diff changeset
45 void __stable_sort_adaptive(_RandomAccessIterator, _Pointer, _Distance,
kono
parents:
diff changeset
46 _Compare p4) {
kono
parents:
diff changeset
47 _RandomAccessIterator e;
kono
parents:
diff changeset
48 __merge_sort_with_buffer(e, 0, p4);
kono
parents:
diff changeset
49 }
kono
parents:
diff changeset
50 template <typename _RandomAccessIterator, typename _Compare>
kono
parents:
diff changeset
51 void __stable_sort(_RandomAccessIterator p1, _Compare p2) {
kono
parents:
diff changeset
52 __stable_sort_adaptive(
kono
parents:
diff changeset
53 p1, 0, typename A<_RandomAccessIterator>::difference_type(), p2);
kono
parents:
diff changeset
54 }
kono
parents:
diff changeset
55 template <typename _RandomAccessIterator, typename _Compare>
kono
parents:
diff changeset
56 void stable_sort(_RandomAccessIterator, _RandomAccessIterator p2, _Compare) {
kono
parents:
diff changeset
57 B<_Compare> f;
kono
parents:
diff changeset
58 __stable_sort(p2, f);
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60 class D {
kono
parents:
diff changeset
61 public:
kono
parents:
diff changeset
62 void m_fn1();
kono
parents:
diff changeset
63 };
kono
parents:
diff changeset
64 class F {
kono
parents:
diff changeset
65 struct G {
kono
parents:
diff changeset
66 D MFI;
kono
parents:
diff changeset
67 int operator()(int p1, int p2) {
kono
parents:
diff changeset
68 if (p1)
kono
parents:
diff changeset
69 return 0;
kono
parents:
diff changeset
70 if (p2)
kono
parents:
diff changeset
71 return 1;
kono
parents:
diff changeset
72 MFI.m_fn1();
kono
parents:
diff changeset
73 }
kono
parents:
diff changeset
74 };
kono
parents:
diff changeset
75 void m_fn1(int &p1) const;
kono
parents:
diff changeset
76 };
kono
parents:
diff changeset
77 void F::m_fn1(int &p1) const {
kono
parents:
diff changeset
78 int *g, *h;
kono
parents:
diff changeset
79 stable_sort(h, g, G());
kono
parents:
diff changeset
80 }
kono
parents:
diff changeset
81