1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // <regex>
10 // UNSUPPORTED: libcpp-no-exceptions
11 // UNSUPPORTED: c++98, c++03
12
13 // the "n" and "m" in `a{n,m}` should be within the numeric limits.
14 // requirement "m >= n" should be checked.
15
16 #include <regex>
17 #include <cassert>
18 #include "test_macros.h"
19
main(int,char **)20 int main(int, char**) {
21 // test that `n <= m`
22 for (std::regex_constants::syntax_option_type op :
23 {std::regex::basic}) {
24 try {
25 TEST_IGNORE_NODISCARD std::regex("a\\{3,2\\}", op);
26 assert(false);
27 } catch (const std::regex_error &e) {
28 assert(e.code() == std::regex_constants::error_badbrace);
29 LIBCPP_ASSERT(e.code() == std::regex_constants::error_badbrace);
30 }
31 }
32 for (std::regex_constants::syntax_option_type op :
33 {std::regex::ECMAScript, std::regex::extended, std::regex::egrep,
34 std::regex::awk}) {
35 try {
36 TEST_IGNORE_NODISCARD std::regex("a{3,2}", op);
37 assert(false);
38 } catch (const std::regex_error &e) {
39 assert(e.code() == std::regex_constants::error_badbrace);
40 LIBCPP_ASSERT(e.code() == std::regex_constants::error_badbrace);
41 }
42 }
43
44 // test that both bounds are within the limit
45 for (std::regex_constants::syntax_option_type op :
46 {std::regex::basic}) {
47 try {
48 TEST_IGNORE_NODISCARD std::regex("a\\{100000000000000000000,10000000000000000000\\}", op);
49 assert(false);
50 } catch (const std::regex_error &e) {
51 assert(e.code() == std::regex_constants::error_badbrace);
52 LIBCPP_ASSERT(e.code() == std::regex_constants::error_badbrace);
53 }
54 }
55 for (std::regex_constants::syntax_option_type op :
56 {std::regex::ECMAScript, std::regex::extended, std::regex::egrep,
57 std::regex::awk}) {
58 try {
59 TEST_IGNORE_NODISCARD std::regex("a{100000000000000000000,10000000000000000000}", op);
60 assert(false);
61 } catch (const std::regex_error &e) {
62 assert(e.code() == std::regex_constants::error_badbrace);
63 LIBCPP_ASSERT(e.code() == std::regex_constants::error_badbrace);
64 }
65 }
66 return 0;
67 }
68