1 //===----------------------------------------------------------------------===//
2 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
3 // See https://llvm.org/LICENSE.txt for license information.
4 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
5 //
6 //===----------------------------------------------------------------------===//
7 
8 // UNSUPPORTED: c++03, c++11, c++14, c++17
9 // UNSUPPORTED: libcpp-has-no-incomplete-format
10 // TODO FMT Evaluate gcc-11 status
11 // UNSUPPORTED: gcc-11
12 
13 // <format>
14 
15 // Basic test to validate ill-formed code is properly detected.
16 
17 // template<class Out, class... Args>
18 //   Out format_to(Out out, format-string<Args...> fmt, const Args&... args);
19 // template<class Out, class... Args>
20 //   Out format_to(Out out, wformat-string<Args...> fmt, const Args&... args);
21 
22 #include <format>
23 
24 #include "test_macros.h"
25 
26 extern char* out;
27 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
28 extern wchar_t* wout;
29 #endif
30 
31 // clang-format off
32 
f()33 void f() {
34   std::format_to(out, "{"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
35   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
36 
37   std::format_to(out, "}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
38   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
39 
40   std::format_to(out, "{}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
41   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
42 
43   std::format_to(out, "{0}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
44   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
45 
46   std::format_to(out, "{:-}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
47   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
48 
49   std::format_to(out, "{:#}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
50   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
51 
52   std::format_to(out, "{:L}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
53   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
54 
55   std::format_to(out, "{0:{0}}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
56   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
57 
58   std::format_to(out, "{:.42d}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
59   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
60 
61   std::format_to(out, "{:d}", "Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
62   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
63 
64 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
65   std::format_to(wout, L"{"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
66   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
67 
68   std::format_to(wout, L"}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
69   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
70 
71   std::format_to(wout, L"{}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
72   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
73 
74   std::format_to(wout, L"{0}"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
75   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
76 
77   std::format_to(wout, L"{:-}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
78   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
79 
80   std::format_to(wout, L"{:#}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
81   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
82 
83   std::format_to(wout, L"{:L}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
84   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
85 
86   std::format_to(wout, L"{0:{0}}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
87   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
88 
89   std::format_to(wout, L"{:.42d}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
90   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
91 
92   std::format_to(wout, L"{:d}", L"Forty-two"); // expected-error-re{{call to consteval function '{{.*}}' is not a constant expression}}
93   // expected-note@*:* {{non-constexpr function '__throw_format_error' cannot be used in a constant expression}}
94 #endif
95 }
96