clang/test/SemaTemplate/stmt-expr.cpp


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

// RUN: %clang_cc1 -verify %s

// FIXME: We could in principle support cases like this (particularly, cases
// where the statement-expression contains no labels).
template <typename... T> void f1() {
  int arr[] = {
    ({
      T(); // expected-error {{unexpanded parameter pack}}
    }) ... // expected-error {{does not contain any unexpanded parameter packs}}
  };
}

// FIXME: The error for this isn't ideal; it'd be preferable to say that pack
// expansion of a statement expression is not permitted.
template <typename... T> void f2() {
  [] {
    int arr[] = {
      T() + ({
      foo:
        T t; // expected-error {{unexpanded parameter pack}}
        goto foo;
        0;
      }) ...
    };
  };
}

template <typename... T> void f3() {
  ({
    int arr[] = {
      [] {
      foo:
        T t; // OK, expanded within compound statement
        goto foo;
        return 0;
      } ...
    };
  });
}