File: p2-cxx1z.cpp

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (30 lines) | stat: -rw-r--r-- 2,149 bytes parent folder | download | duplicates (11)
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
// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++14
// RUN: %clang_cc1 -fsyntax-only -verify %s -std=c++17 -pedantic

// [expr.new]p2 ... the invented declaration: T x init ;
// C++23 [dcl.type.auto.deduct]p2.2
// For a variable declared with a type that contains a placeholder type, T is the declared type of the variable.
void f() {
  // - If the initializer is a parenthesized expression-list, the expression-list shall be a single assignmentexpression and E is the assignment-expression.
  new auto('a');
  new decltype(auto)('a');
  // - If the initializer is a braced-init-list, it shall consist of a single brace-enclosed assignment-expression and E is the assignment-expression.
  new auto{2};
  new decltype(auto){2};

  new auto{};   // expected-error{{new expression for type 'auto' requires a constructor argument}}
  new auto({}); // expected-error{{cannot deduce actual type for 'auto' from parenthesized initializer list}}
  new auto{{}}; // expected-error{{cannot deduce actual type for 'auto' from nested initializer list}}

  new auto({2});  // expected-error{{cannot deduce actual type for 'auto' from parenthesized initializer list}}
  new auto{{2}};  // expected-error{{cannot deduce actual type for 'auto' from nested initializer list}}
  new auto{1, 2}; // expected-error{{new expression for type 'auto' contains multiple constructor arguments}}

  new decltype(auto){};   // expected-error{{new expression for type 'decltype(auto)' requires a constructor argument}}
  new decltype(auto)({}); // expected-error{{cannot deduce actual type for 'decltype(auto)' from parenthesized initializer list}}
  new decltype(auto){{}}; // expected-error{{cannot deduce actual type for 'decltype(auto)' from nested initializer list}}

  new decltype(auto)({1});    // expected-error{{cannot deduce actual type for 'decltype(auto)' from parenthesized initializer list}}
  new decltype(auto){1, 2};   // expected-error{{new expression for type 'decltype(auto)' contains multiple constructor arguments}}
  new decltype(auto)({1, 2}); // expected-error{{cannot deduce actual type for 'decltype(auto)' from parenthesized initializer list}}
}