Another variadic template metafunction test case: summing values.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122752 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 16 insertions, 2 deletions

diff --git a/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp b/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp
index d9a3b5c27f..c0a9eb6cd6 100644
--- a/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp
+++ b/test/CXX/temp/temp.decls/temp.variadic/metafunctions.cpp
@@ -65,7 +65,7 @@ namespace Replace {
              tuple<int, int>>::value? 1 : -1];
 }
 
-namespace Multiply {
+namespace Math {
   template<int ...Values>
   struct double_values {
     typedef int_tuple<Values*2 ...> type;
@@ -89,8 +89,22 @@ namespace Multiply {
     typedef int_tuple<(Values*Values)...> type;
   };
 
-  int check2[is_same<square_tuple<int_tuple<1, 2, -3>>::type, 
+  int check2[is_same<square_tuple<int_tuple<1, 2, -3> >::type, 
                      int_tuple<1, 4, 9>>::value? 1 : -1];
+
+  template<int ...Values> struct sum;
+
+  template<int First, int ...Rest> 
+  struct sum<First, Rest...> {
+    static const int value = First + sum<Rest...>::value;
+  };
+
+  template<>
+  struct sum<> {
+    static const int value = 0;
+  };
+
+  int check3[sum<1, 2, 3, 4, 5>::value == 15? 1 : -1];
 }
 
 namespace Indices {