summaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/template/repo9.C
blob: 7ddc6bf56d3e1075d98e2be13ef02215d08ebe1e (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
// PR c++/36364
// { dg-options "-frepo" }
// { dg-final { cleanup-repo-files } }
// { dg-require-host-local "" }
// { dg-skip-if "dkms are not final links" { vxworks_kernel } }

template <typename C> struct A
{
  static void assign (C &c1, const C &c2) { c1 = c2; }
};

template <typename C, typename T> struct B
{
  struct D
  {
    static const C terminal;
    static unsigned long stor[];
    static D &empty_rep ()
    {
      void *p = reinterpret_cast <void *>(&stor);
      return *reinterpret_cast <D *>(p);
    }
    void test (unsigned long n)
    {
      T::assign (this->refdata ()[n], terminal);
    }
    C *refdata () throw ()
    {
      return reinterpret_cast <C *>(this + 1);
    }
  };
  C *dataplus;
  C *data () const { return dataplus; }
  D *rep () const { return &((reinterpret_cast < D * >(data ()))[-1]); }
  static D & empty_rep () { return D::empty_rep (); }
  B () : dataplus (empty_rep ().refdata ()) { }
  ~B () { }
  void push_back (C c) { rep ()->test (10); }
};

template <typename C, typename T> const C B <C, T>::D::terminal = C ();
template <typename C, typename T> unsigned long B <C, T>::D::stor[64];

int
main ()
{
  B <char, A <char> > s;
  s.push_back ('a');
}