Viewing file:  eval-order3.C (2.32 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
// P0145R2: Refining Expression Order for C++
// { dg-do run { target c++17 } }
extern "C" int printf (const char *, ...);
void sink(...) { }
int last = 0;
int f(int i)
{
if (i < last)
__builtin_abort ();
last = i;
return i;
}
int& g(int i)
{
static int dummy;
f(i);
return dummy;
}
struct A
{
int _i;
A(int i): _i(f(i)) { }
A& memfn(int i, int j) { f(j); return *this; }
int operator<<(int i) { return 0; }
A& operator=(const A&) { return *this; }
A& operator+=(int i) { return *this; }
};
struct B
{
int _i;
B(): _i(0) {}
B(int i): _i(f(i)) { }
};
int operator>>(A&, int i) { return 0; }
A a(0);
A* afn(int i)
{
f(i);
return &a;
}
A& aref(int i)
{
f(i);
return a;
}
B b;
B bval(int i)
{
return B(i);
}
B& bref(int i)
{
f(i);
return b;
}
static int si;
int* ip (int i)
{
f(i);
return &si;
}
int& iref(int i)
{
f(i);
return si;
}
auto pmff(int i) {
f(i);
return &A::memfn;
}
template <class T> void f()
{
// a.b
A(1).memfn(f(2),3).memfn(f(4),5);
aref(6).memfn(f(7),8);
(aref(9).*pmff(10))(f(11),12);
last = 0;
// a->b
afn(12)->memfn(f(13),14);
// a->*b
(afn(15)->*pmff(16))(f(17),18);
last = 0;
// a(b)
// covered in eval-order1.C
// b @= a
aref(19)=A(18);
iref(21)=f(20);
aref(23)+=f(22);
bref(25)=bval(24);
(f(27), b) = bval(26);
last = 0;
int ar[4] = {};
int i = 0;
ar[i++] = i;
if (ar[0] != 0)
__builtin_abort();
// a[b]
afn(20)[f(21)-21].memfn(f(22),23);
ip(24)[f(25)-25] = 0;
last=0;
// a << b
aref(24) << f(25);
iref(26) << f(27);
last=0;
// a >> b
aref(26) >> f(27);
iref(28) >> f(29);
}
void g()
{
// a.b
A(1).memfn(f(2),3).memfn(f(4),5);
aref(6).memfn(f(7),8);
(aref(9).*pmff(10))(f(11),12);
last = 0;
// a->b
afn(12)->memfn(f(13),14);
// a->*b
(afn(15)->*pmff(16))(f(17),18);
last = 0;
// a(b)
// covered in eval-order1.C
// b @= a
aref(19)=A(18);
iref(21)=f(20);
aref(23)+=f(22);
bref(25)=bval(24);
(f(27), b) = bval(26);
last = 0;
int ar[4] = {};
int i = 0;
ar[i++] = i;
if (ar[0] != 0)
__builtin_abort();
// a[b]
afn(20)[f(21)-21].memfn(f(22),23);
ip(24)[f(25)-25] = 0;
last=0;
// a << b
aref(24) << f(25);
iref(26) << f(27);
last=0;
// a >> b
aref(26) >> f(27);
iref(28) >> f(29);
}
int main()
{
g();
last = 0;
f<int>();
}
|
