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 // UNSUPPORTED: no-exceptions
10 // <regex>
11
12 // template <class charT, class traits = regex_traits<charT>> class basic_regex;
13
14 // template <class ST, class SA>
15 // basic_regex(const basic_string<charT, ST, SA>& s);
16
17 #include <regex>
18 #include <cassert>
19 #include "test_macros.h"
20
error_badbackref_thrown(const char * pat,std::regex::flag_type f)21 static bool error_badbackref_thrown(const char *pat, std::regex::flag_type f)
22 {
23 bool result = false;
24 try {
25 std::regex re(pat, f);
26 } catch (const std::regex_error &ex) {
27 result = (ex.code() == std::regex_constants::error_backref);
28 }
29 return result;
30 }
31
main(int,char **)32 int main(int, char**)
33 {
34 // no references
35 assert(error_badbackref_thrown("\\1abc", std::regex_constants::ECMAScript));
36 assert(error_badbackref_thrown("\\1abd", std::regex::basic));
37 assert(error_badbackref_thrown("\\1abd", std::regex::extended));
38 assert(error_badbackref_thrown("\\1abd", std::regex::awk) == false);
39 assert(error_badbackref_thrown("\\1abd", std::regex::grep));
40 assert(error_badbackref_thrown("\\1abd", std::regex::egrep));
41
42 // only one reference
43 assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::ECMAScript));
44 assert(error_badbackref_thrown("ab\\(c\\)\\2def", std::regex_constants::basic));
45 assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::extended));
46 assert(error_badbackref_thrown("ab\\(c\\)\\2def", std::regex_constants::awk) == false);
47 assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::awk) == false);
48 assert(error_badbackref_thrown("ab\\(c\\)\\2def", std::regex_constants::grep));
49 assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::egrep));
50
51
52 assert(error_badbackref_thrown("\\800000000000000000000000000000", std::regex_constants::ECMAScript)); // overflows
53
54 // this should NOT throw, because we only should look at the '1'
55 // See https://llvm.org/PR31387
56 {
57 const char *pat1 = "a(b)c\\1234";
58 std::regex re(pat1, pat1 + 7); // extra chars after the end.
59 }
60
61 // reference before group
62 assert(error_badbackref_thrown("\\1(abc)", std::regex_constants::ECMAScript));
63 assert(error_badbackref_thrown("\\1\\(abd\\)", std::regex::basic));
64 assert(error_badbackref_thrown("\\1(abd)", std::regex::extended));
65 assert(error_badbackref_thrown("\\1(abd)", std::regex::awk) == false);
66 assert(error_badbackref_thrown("\\1\\(abd\\)", std::regex::awk) == false);
67 assert(error_badbackref_thrown("\\1\\(abd\\)", std::regex::grep));
68 assert(error_badbackref_thrown("\\1(abd)", std::regex::egrep));
69
70 // reference limit
71 assert(error_badbackref_thrown("(cat)\\10", std::regex::ECMAScript));
72 assert(error_badbackref_thrown("\\(cat\\)\\10", std::regex::basic) == false);
73 assert(error_badbackref_thrown("(cat)\\10", std::regex::extended) == false);
74 assert(error_badbackref_thrown("\\(cat\\)\\10", std::regex::awk) == false);
75 assert(error_badbackref_thrown("(cat)\\10", std::regex::awk) == false);
76 assert(error_badbackref_thrown("\\(cat\\)\\10", std::regex::grep) == false);
77 assert(error_badbackref_thrown("(cat)\\10", std::regex::egrep) == false);
78
79 // https://llvm.org/PR34297
80 assert(error_badbackref_thrown("(cat)\\1", std::regex::basic));
81 assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::basic) == false);
82 assert(error_badbackref_thrown("(cat)\\1", std::regex::extended) == false);
83 assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::extended));
84 assert(error_badbackref_thrown("(cat)\\1", std::regex::awk) == false);
85 assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::awk) == false);
86 assert(error_badbackref_thrown("(cat)\\1", std::regex::grep));
87 assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::grep) == false);
88 assert(error_badbackref_thrown("(cat)\\1", std::regex::egrep) == false);
89 assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::egrep));
90
91 return 0;
92 }
93