aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp1y/lambda-mangle-1.C
blob: ca0910be5031ae2b49a7f35962890ec3cc4838ca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
// { dg-do compile { target c++14 } }

// PRs 78621

// We erroneously mangled lambda auto parms as-if template parameters (T<n>_),
// rather than auto (Da). Fixed in abi version 11

template<typename T> class X;

template<typename T>
T &&forward (T &v)
{
  return static_cast<T &&> (v);
}

template<typename T>
void eat (T &v)
{
}

template<typename S, typename T>
  void eat (S &, T &v)
{
}

void Foo ()
{
  auto lam = [](auto &) { };
  auto lam_1 = [](int &, auto &) { };
  auto lam_2 = [](auto &, X<int> &) { };
  auto lam_3 = [](auto (*)[5]) { };

  forward (lam);
  forward (lam_1);
  forward (lam_2);
  forward (lam_3);

  eat (lam);
  eat (lam_1);
  eat (lam_2);
  eat (lam_3);

  // The auto lambda should mangle similarly to the non-auto one
  auto lambda_1 = [](float *, float *) { };
  auto lambda_2 = [](auto *, auto *) { };
  auto lambda_3 = [](auto *, auto *) { };

  int *i;
  
  eat (i, lambda_1);
  eat (i, lambda_2);

  // The autos should squangle to the first one.
  eat (lambda_2, lambda_3);
}

template<typename X> void Bar ()
{
  auto lambda_1 = [](X *, float *, float *) { };
  auto lambda_2 = [](X *, auto *, auto *) { };
  auto lambda_3 = [](X *, auto *...) {};
  
  int *i;
  
  eat (i, lambda_1);
  eat (i, lambda_2);
  eat (i, lambda_3);
}

void Baz ()
{
  Bar<short> ();
}

// { dg-final { scan-assembler "_Z7forwardIZ3FoovEUlRT_E_EOS0_S1_:" } }
// { dg-final { scan-assembler "_Z7forwardIZ3FoovEUlRiRT_E0_EOS1_S2_:" } }
// { dg-final { scan-assembler "_Z7forwardIZ3FoovEUlRT_R1XIiEE1_EOS0_S1_:" } }
// { dg-final { scan-assembler "_Z7forwardIZ3FoovEUlPA5_T_E2_EOS0_RS0_:" } }
// { dg-final { scan-assembler "_Z3eatIZ3FoovEUlRT_E_EvS1_:" } }
// { dg-final { scan-assembler "_Z3eatIZ3FoovEUlRiRT_E0_EvS2_:" } }
// { dg-final { scan-assembler "_Z3eatIZ3FoovEUlRT_R1XIiEE1_EvS1_:" } }
// { dg-final { scan-assembler "_Z3eatIZ3FoovEUlPA5_T_E2_EvRS0_:" } }
// { dg-final { scan-assembler "_Z3eatIPiZ3FoovEUlPfS1_E3_EvRT_RT0_:" } }
// { dg-final { scan-assembler "_Z3eatIPiZ3FoovEUlPT_PT0_E4_EvRS1_RS3_:" } }
// { dg-final { scan-assembler "_Z3eatIZ3FoovEUlPT_PT0_E4_Z3FoovEUlS1_S3_E5_EvRS0_RS2_:" } }
// { dg-final { scan-assembler "_Z3eatIPiZ3BarIsEvvEUlPsPfS3_E_EvRT_RT0_:" } }
// { dg-final { scan-assembler "_Z3eatIPiZ3BarIsEvvEUlPsPT_PT0_E0_EvRS3_RS5_:" } }
// { dg-final { scan-assembler "_Z3eatIPiZ3BarIsEvvEUlPsPT_zE1_EvRS3_RT0_:" } }