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
|
//===----------------------------------------------------------------------===//
//
// 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: no-exceptions
// <regex>
// template <class charT, class traits = regex_traits<charT>> class basic_regex;
// template <class ST, class SA>
// basic_regex(const basic_string<charT, ST, SA>& s);
#include <regex>
#include <cassert>
#include "test_macros.h"
static bool error_badbackref_thrown(const char *pat, std::regex::flag_type f)
{
bool result = false;
try {
std::regex re(pat, f);
} catch (const std::regex_error &ex) {
result = (ex.code() == std::regex_constants::error_backref);
}
return result;
}
int main(int, char**)
{
// no references
assert(error_badbackref_thrown("\\1abc", std::regex_constants::ECMAScript));
assert(error_badbackref_thrown("\\1abd", std::regex::basic));
assert(error_badbackref_thrown("\\1abd", std::regex::extended));
assert(error_badbackref_thrown("\\1abd", std::regex::awk) == false);
assert(error_badbackref_thrown("\\1abd", std::regex::grep));
assert(error_badbackref_thrown("\\1abd", std::regex::egrep));
// only one reference
assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::ECMAScript));
assert(error_badbackref_thrown("ab\\(c\\)\\2def", std::regex_constants::basic));
assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::extended));
assert(error_badbackref_thrown("ab\\(c\\)\\2def", std::regex_constants::awk) == false);
assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::awk) == false);
assert(error_badbackref_thrown("ab\\(c\\)\\2def", std::regex_constants::grep));
assert(error_badbackref_thrown("ab(c)\\2def", std::regex_constants::egrep));
assert(error_badbackref_thrown("\\800000000000000000000000000000", std::regex_constants::ECMAScript)); // overflows
// this should NOT throw, because we only should look at the '1'
// See https://llvm.org/PR31387
{
const char *pat1 = "a(b)c\\1234";
std::regex re(pat1, pat1 + 7); // extra chars after the end.
}
// reference before group
assert(error_badbackref_thrown("\\1(abc)", std::regex_constants::ECMAScript));
assert(error_badbackref_thrown("\\1\\(abd\\)", std::regex::basic));
assert(error_badbackref_thrown("\\1(abd)", std::regex::extended));
assert(error_badbackref_thrown("\\1(abd)", std::regex::awk) == false);
assert(error_badbackref_thrown("\\1\\(abd\\)", std::regex::awk) == false);
assert(error_badbackref_thrown("\\1\\(abd\\)", std::regex::grep));
assert(error_badbackref_thrown("\\1(abd)", std::regex::egrep));
// reference limit
assert(error_badbackref_thrown("(cat)\\10", std::regex::ECMAScript));
assert(error_badbackref_thrown("\\(cat\\)\\10", std::regex::basic) == false);
assert(error_badbackref_thrown("(cat)\\10", std::regex::extended) == false);
assert(error_badbackref_thrown("\\(cat\\)\\10", std::regex::awk) == false);
assert(error_badbackref_thrown("(cat)\\10", std::regex::awk) == false);
assert(error_badbackref_thrown("\\(cat\\)\\10", std::regex::grep) == false);
assert(error_badbackref_thrown("(cat)\\10", std::regex::egrep) == false);
// https://llvm.org/PR34297
assert(error_badbackref_thrown("(cat)\\1", std::regex::basic));
assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::basic) == false);
assert(error_badbackref_thrown("(cat)\\1", std::regex::extended) == false);
assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::extended));
assert(error_badbackref_thrown("(cat)\\1", std::regex::awk) == false);
assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::awk) == false);
assert(error_badbackref_thrown("(cat)\\1", std::regex::grep));
assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::grep) == false);
assert(error_badbackref_thrown("(cat)\\1", std::regex::egrep) == false);
assert(error_badbackref_thrown("\\(cat\\)\\1", std::regex::egrep));
return 0;
}
|
