summaryrefslogtreecommitdiffstats
path: root/gcc/testsuite/g++.dg/cpp0x/rv4n.C
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp0x/rv4n.C')
-rw-r--r--gcc/testsuite/g++.dg/cpp0x/rv4n.C735
1 files changed, 735 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/rv4n.C b/gcc/testsuite/g++.dg/cpp0x/rv4n.C
new file mode 100644
index 00000000000..302ab8eedcc
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/rv4n.C
@@ -0,0 +1,735 @@
+// I, Howard Hinnant, hereby place this code in the public domain.
+
+// Test overlaod resolution among referece types
+
+// { dg-do compile }
+// { dg-options "-std=c++0x" }
+
+template <bool> struct sa;
+template <> struct sa<true> {};
+
+struct one {char x[1];};
+struct two {char x[2];};
+struct three {char x[3];};
+struct four {char x[4];};
+struct five {char x[5];};
+struct six {char x[6];};
+struct seven {char x[7];};
+struct eight {char x[8];};
+
+struct A
+{
+ A();
+ A(const volatile A&&);
+};
+
+ A source();
+const A c_source();
+ volatile A v_source();
+const volatile A cv_source();
+
+// 4 at a time
+
+one sink_4_1234( A&); // { dg-error "" }
+two sink_4_1234(const A&); // { dg-error "" }
+three sink_4_1234(volatile A&); // { dg-error "" }
+four sink_4_1234(const volatile A&); // { dg-error "" }
+
+int test4_1234()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1234(v_source()); // { dg-error "no match" }
+ sink_4_1234(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1235( A&); // { dg-error "" }
+two sink_4_1235(const A&); // { dg-error "" }
+three sink_4_1235(volatile A&); // { dg-error "" }
+five sink_4_1235( A&&); // { dg-error "" }
+
+int test4_1235()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1235(cva); // { dg-error "no match" }
+ sink_4_1235(v_source()); // { dg-error "no match" }
+ sink_4_1235(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1236( A&); // { dg-error "" }
+two sink_4_1236(const A&); // { dg-error "" }
+three sink_4_1236(volatile A&); // { dg-error "" }
+six sink_4_1236(const A&&); // { dg-error "" }
+
+int test4_1236()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1236(cva); // { dg-error "no match" }
+ sink_4_1236(v_source()); // { dg-error "no match" }
+ sink_4_1236(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1237( A&); // { dg-error "" }
+two sink_4_1237(const A&); // { dg-error "" }
+three sink_4_1237(volatile A&); // { dg-error "" }
+seven sink_4_1237(volatile A&&); // { dg-error "" }
+
+int test4_1237()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1237(cva); // { dg-error "no match" }
+ sink_4_1237(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1245( A&); // { dg-error "" }
+two sink_4_1245(const A&); // { dg-error "" }
+four sink_4_1245(const volatile A&); // { dg-error "" }
+five sink_4_1245( A&&); // { dg-error "" }
+
+int test4_1245()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1245(v_source()); // { dg-error "no match" }
+ sink_4_1245(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1246( A&); // { dg-error "" }
+two sink_4_1246(const A&); // { dg-error "" }
+four sink_4_1246(const volatile A&); // { dg-error "" }
+six sink_4_1246(const A&&); // { dg-error "" }
+
+int test4_1246()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1246(v_source()); // { dg-error "no match" }
+ sink_4_1246(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1247( A&); // { dg-error "" }
+two sink_4_1247(const A&); // { dg-error "" }
+four sink_4_1247(const volatile A&); // { dg-error "" }
+seven sink_4_1247(volatile A&&); // { dg-error "" }
+
+int test4_1247()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1247(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1256( A&); // { dg-error "" }
+two sink_4_1256(const A&); // { dg-error "" }
+five sink_4_1256( A&&); // { dg-error "" }
+six sink_4_1256(const A&&); // { dg-error "" }
+
+int test4_1256()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1256(va); // { dg-error "no match" }
+ sink_4_1256(cva); // { dg-error "no match" }
+ sink_4_1256(v_source()); // { dg-error "no match" }
+ sink_4_1256(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1257( A&); // { dg-error "" }
+two sink_4_1257(const A&); // { dg-error "" }
+five sink_4_1257( A&&); // { dg-error "" }
+seven sink_4_1257(volatile A&&); // { dg-error "" }
+
+int test4_1257()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1257(cva); // { dg-error "no match" }
+ sink_4_1257(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1267( A&); // { dg-error "" }
+two sink_4_1267(const A&); // { dg-error "" }
+six sink_4_1267(const A&&); // { dg-error "" }
+seven sink_4_1267(volatile A&&); // { dg-error "" }
+
+int test4_1267()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1267(cva); // { dg-error "no match" }
+ sink_4_1267(source()); // { dg-error "ambiguous" }
+ sink_4_1267(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1345( A&); // { dg-error "" }
+three sink_4_1345(volatile A&); // { dg-error "" }
+four sink_4_1345(const volatile A&); // { dg-error "" }
+five sink_4_1345( A&&); // { dg-error "" }
+
+int test4_1345()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1345(c_source()); // { dg-error "no match" }
+ sink_4_1345(v_source()); // { dg-error "no match" }
+ sink_4_1345(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1346( A&); // { dg-error "" }
+three sink_4_1346(volatile A&); // { dg-error "" }
+four sink_4_1346(const volatile A&); // { dg-error "" }
+six sink_4_1346(const A&&); // { dg-error "" }
+
+int test4_1346()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1346(v_source()); // { dg-error "no match" }
+ sink_4_1346(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1347( A&); // { dg-error "" }
+three sink_4_1347(volatile A&); // { dg-error "" }
+four sink_4_1347(const volatile A&); // { dg-error "" }
+seven sink_4_1347(volatile A&&); // { dg-error "" }
+
+int test4_1347()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1347(c_source()); // { dg-error "no match" }
+ sink_4_1347(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1356( A&); // { dg-error "" }
+three sink_4_1356(volatile A&); // { dg-error "" }
+five sink_4_1356( A&&); // { dg-error "" }
+six sink_4_1356(const A&&); // { dg-error "" }
+
+int test4_1356()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1356(cva); // { dg-error "no match" }
+ sink_4_1356(v_source()); // { dg-error "no match" }
+ sink_4_1356(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1357( A&); // { dg-error "" }
+three sink_4_1357(volatile A&); // { dg-error "" }
+five sink_4_1357( A&&); // { dg-error "" }
+seven sink_4_1357(volatile A&&); // { dg-error "" }
+
+int test4_1357()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1357(ca); // { dg-error "no match" }
+ sink_4_1357(cva); // { dg-error "no match" }
+ sink_4_1357(c_source()); // { dg-error "no match" }
+ sink_4_1357(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1367( A&); // { dg-error "" }
+three sink_4_1367(volatile A&); // { dg-error "" }
+six sink_4_1367(const A&&); // { dg-error "" }
+seven sink_4_1367(volatile A&&); // { dg-error "" }
+
+int test4_1367()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1367(cva); // { dg-error "no match" }
+ sink_4_1367(source()); // { dg-error "ambiguous" }
+ sink_4_1367(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1456( A&); // { dg-error "" }
+four sink_4_1456(const volatile A&); // { dg-error "" }
+five sink_4_1456( A&&); // { dg-error "" }
+six sink_4_1456(const A&&); // { dg-error "" }
+
+int test4_1456()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1456(v_source()); // { dg-error "no match" }
+ sink_4_1456(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1457( A&); // { dg-error "" }
+four sink_4_1457(const volatile A&); // { dg-error "" }
+five sink_4_1457( A&&); // { dg-error "" }
+seven sink_4_1457(volatile A&&); // { dg-error "" }
+
+int test4_1457()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1457(c_source()); // { dg-error "no match" }
+ sink_4_1457(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1467( A&); // { dg-error "" }
+four sink_4_1467(const volatile A&); // { dg-error "" }
+six sink_4_1467(const A&&); // { dg-error "" }
+seven sink_4_1467(volatile A&&); // { dg-error "" }
+
+int test4_1467()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1467(source()); // { dg-error "ambiguous" }
+ sink_4_1467(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1567( A&); // { dg-error "" }
+five sink_4_1567( A&&); // { dg-error "" }
+six sink_4_1567(const A&&); // { dg-error "" }
+seven sink_4_1567(volatile A&&); // { dg-error "" }
+
+int test4_1567()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1567(cva); // { dg-error "no match" }
+ sink_4_1567(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+one sink_4_1678( A&);
+six sink_4_1678(const A&&); // { dg-error "" }
+seven sink_4_1678(volatile A&&); // { dg-error "" }
+eight sink_4_1678(const volatile A&&); // { dg-error "" }
+
+int test4_1678()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_1678(source()); // { dg-error "ambiguous" }
+ return 0;
+}
+
+two sink_4_2345(const A&); // { dg-error "" }
+three sink_4_2345(volatile A&); // { dg-error "" }
+four sink_4_2345(const volatile A&); // { dg-error "" }
+five sink_4_2345( A&&); // { dg-error "" }
+
+int test4_2345()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2345(a); // { dg-error "ambiguous" }
+ sink_4_2345(v_source()); // { dg-error "no match" }
+ sink_4_2345(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2346(const A&); // { dg-error "" }
+three sink_4_2346(volatile A&); // { dg-error "" }
+four sink_4_2346(const volatile A&); // { dg-error "" }
+six sink_4_2346(const A&&); // { dg-error "" }
+
+int test4_2346()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2346(a); // { dg-error "ambiguous" }
+ sink_4_2346(v_source()); // { dg-error "no match" }
+ sink_4_2346(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2347(const A&); // { dg-error "" }
+three sink_4_2347(volatile A&); // { dg-error "" }
+four sink_4_2347(const volatile A&); // { dg-error "" }
+seven sink_4_2347(volatile A&&); // { dg-error "" }
+
+int test4_2347()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2347(a); // { dg-error "ambiguous" }
+ sink_4_2347(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2348(const A&); // { dg-error "" }
+three sink_4_2348(volatile A&); // { dg-error "" }
+four sink_4_2348(const volatile A&); // { dg-error "" }
+eight sink_4_2348(const volatile A&&); // { dg-error "" }
+
+int test4_2348()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2348(a); // { dg-error "ambiguous" }
+ return 0;
+}
+
+two sink_4_2356(const A&); // { dg-error "" }
+three sink_4_2356(volatile A&); // { dg-error "" }
+five sink_4_2356( A&&); // { dg-error "" }
+six sink_4_2356(const A&&); // { dg-error "" }
+
+int test4_2356()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2356(a); // { dg-error "ambiguous" }
+ sink_4_2356(cva); // { dg-error "no match" }
+ sink_4_2356(v_source()); // { dg-error "no match" }
+ sink_4_2356(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2357(const A&); // { dg-error "" }
+three sink_4_2357(volatile A&); // { dg-error "" }
+five sink_4_2357( A&&); // { dg-error "" }
+seven sink_4_2357(volatile A&&); // { dg-error "" }
+
+int test4_2357()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2357(a); // { dg-error "ambiguous" }
+ sink_4_2357(cva); // { dg-error "no match" }
+ sink_4_2357(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2358(const A&); // { dg-error "" }
+three sink_4_2358(volatile A&); // { dg-error "" }
+five sink_4_2358( A&&); // { dg-error "" }
+eight sink_4_2358(const volatile A&&); // { dg-error "" }
+
+int test4_2358()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2358(a); // { dg-error "ambiguous" }
+ return 0;
+}
+
+two sink_4_2367(const A&); // { dg-error "" }
+three sink_4_2367(volatile A&); // { dg-error "" }
+six sink_4_2367(const A&&); // { dg-error "" }
+seven sink_4_2367(volatile A&&); // { dg-error "" }
+
+int test4_2367()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2367(a); // { dg-error "ambiguous" }
+ sink_4_2367(cva); // { dg-error "no match" }
+ sink_4_2367(source()); // { dg-error "ambiguous" }
+ sink_4_2367(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2368(const A&); // { dg-error "" }
+three sink_4_2368(volatile A&); // { dg-error "" }
+six sink_4_2368(const A&&); // { dg-error "" }
+eight sink_4_2368(const volatile A&&); // { dg-error "" }
+
+int test4_2368()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2368(a); // { dg-error "ambiguous" }
+ return 0;
+}
+
+two sink_4_2378(const A&); // { dg-error "" }
+three sink_4_2378(volatile A&); // { dg-error "" }
+seven sink_4_2378(volatile A&&); // { dg-error "" }
+eight sink_4_2378(const volatile A&&); // { dg-error "" }
+
+int test4_2378()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2378(a); // { dg-error "ambiguous" }
+ return 0;
+}
+
+two sink_4_2456(const A&); // { dg-error "" }
+four sink_4_2456(const volatile A&); // { dg-error "" }
+five sink_4_2456( A&&); // { dg-error "" }
+six sink_4_2456(const A&&); // { dg-error "" }
+
+int test4_2456()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2456(v_source()); // { dg-error "no match" }
+ sink_4_2456(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2457(const A&); // { dg-error "" }
+four sink_4_2457(const volatile A&); // { dg-error "" }
+five sink_4_2457( A&&); // { dg-error "" }
+seven sink_4_2457(volatile A&&); // { dg-error "" }
+
+int test4_2457()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2457(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2467(const A&); // { dg-error "" }
+four sink_4_2467(const volatile A&); // { dg-error "" }
+six sink_4_2467(const A&&); // { dg-error "" }
+seven sink_4_2467(volatile A&&); // { dg-error "" }
+
+int test4_2467()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2467(source()); // { dg-error "ambiguous" }
+ sink_4_2467(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2567(const A&); // { dg-error "" }
+five sink_4_2567( A&&); // { dg-error "" }
+six sink_4_2567(const A&&); // { dg-error "" }
+seven sink_4_2567(volatile A&&); // { dg-error "" }
+
+int test4_2567()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2567(cva); // { dg-error "no match" }
+ sink_4_2567(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+two sink_4_2678(const A&); // { dg-error "" }
+six sink_4_2678(const A&&); // { dg-error "" }
+seven sink_4_2678(volatile A&&); // { dg-error "" }
+eight sink_4_2678(const volatile A&&); // { dg-error "" }
+
+int test4_2678()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_2678(source()); // { dg-error "ambiguous" }
+ return 0;
+}
+
+three sink_4_3456(volatile A&); // { dg-error "" }
+four sink_4_3456(const volatile A&); // { dg-error "" }
+five sink_4_3456( A&&); // { dg-error "" }
+six sink_4_3456(const A&&); // { dg-error "" }
+
+int test4_3456()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_3456(v_source()); // { dg-error "no match" }
+ sink_4_3456(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+three sink_4_3457(volatile A&); // { dg-error "" }
+four sink_4_3457(const volatile A&); // { dg-error "" }
+five sink_4_3457( A&&); // { dg-error "" }
+seven sink_4_3457(volatile A&&); // { dg-error "" }
+
+int test4_3457()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_3457(c_source()); // { dg-error "no match" }
+ sink_4_3457(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+three sink_4_3467(volatile A&); // { dg-error "" }
+four sink_4_3467(const volatile A&); // { dg-error "" }
+six sink_4_3467(const A&&); // { dg-error "" }
+seven sink_4_3467(volatile A&&); // { dg-error "" }
+
+int test4_3467()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_3467(source()); // { dg-error "ambiguous" }
+ sink_4_3467(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+three sink_4_3567(volatile A&); // { dg-error "" }
+five sink_4_3567( A&&); // { dg-error "" }
+six sink_4_3567(const A&&); // { dg-error "" }
+seven sink_4_3567(volatile A&&); // { dg-error "" }
+
+int test4_3567()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_3567(cva); // { dg-error "no match" }
+ sink_4_3567(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+three sink_4_3678(volatile A&);
+six sink_4_3678(const A&&); // { dg-error "" }
+seven sink_4_3678(volatile A&&); // { dg-error "" }
+eight sink_4_3678(const volatile A&&); // { dg-error "" }
+
+int test4_3678()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_3678(source()); // { dg-error "ambiguous" }
+ return 0;
+}
+
+four sink_4_4567(const volatile A&); // { dg-error "" }
+five sink_4_4567( A&&); // { dg-error "" }
+six sink_4_4567(const A&&); // { dg-error "" }
+seven sink_4_4567(volatile A&&); // { dg-error "" }
+
+int test4_4567()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_4567(cv_source()); // { dg-error "no match" }
+ return 0;
+}
+
+four sink_4_4678(const volatile A&);
+six sink_4_4678(const A&&); // { dg-error "" }
+seven sink_4_4678(volatile A&&); // { dg-error "" }
+eight sink_4_4678(const volatile A&&); // { dg-error "" }
+
+int test4_4678()
+{
+ A a;
+ const A ca = a;
+ volatile A va;
+ const volatile A cva = a;
+ sink_4_4678(source()); // { dg-error "ambiguous" }
+ return 0;
+}
+
+int main()
+{
+ return test4_1235() + test4_1236() + test4_1237() + test4_1256() + test4_1257() +
+ test4_1267() + test4_1356() + test4_1357() + test4_1467() + test4_1567() +
+ test4_1678() + test4_2345() + test4_2346() + test4_2347() + test4_2348() +
+ test4_2356() + test4_2357() + test4_2358() + test4_2367() + test4_2368() +
+ test4_2378() + test4_2467() + test4_2567() + test4_2678() + test4_3467() +
+ test4_3567() + test4_3678() + test4_4678();
+}
OpenPOWER on IntegriCloud