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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
//===----------------------------------------------------------------------===//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17
// UNSUPPORTED: libcpp-has-no-incomplete-format
// Basic test to validate ill-formed code is properly detected.
// <format>
// template<class... Args>
// string format(format-string<Args...> fmt, const Args&... args);
// template<class... Args>
// wstring format(wformat-string<Args...> fmt, const Args&... args);
#include <format>
#include "test_macros.h"
// clang-format off
void f() {
std::format("{"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{0}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{:-}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{:#}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{:L}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{0:{0}}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{:.42d}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format("{:d}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
std::format(L"{"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{0}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{:-}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{:#}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{:L}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{0:{0}}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{:.42d}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
std::format(L"{:d}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
// expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
#endif
}
struct tiny {
int bit : 1;
};
void P2418()
{
auto t = tiny{};
std::format("{}", t.bit); // expected-error{{non-const reference cannot bind to bit-field 'bit'}}
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
std::format(L"{}", t.bit); // expected-error{{non-const reference cannot bind to bit-field 'bit'}}
#endif
}
|
