Skip to content

Commit 9be54be

Browse files
committed
auto merge of #20238 : barosl/rust/regex-repeater-panic, r=huonw
This bug has also affected the `regex!` macro, which has caused an ICE when such an invalid expression is provided. Fixes #20208.
2 parents 16e4fef + 0bd8534 commit 9be54be

File tree

2 files changed

+5
-3
lines changed

2 files changed

+5
-3
lines changed

src/libregex/parse.rs

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -320,9 +320,10 @@ impl<'a> Parser<'a> {
320320
}
321321

322322
fn push_repeater(&mut self, c: char) -> Result<(), Error> {
323-
if self.stack.len() == 0 {
324-
return self.err(
325-
"A repeat operator must be preceded by a valid expression.")
323+
match self.stack.last() {
324+
Some(&Expr(..)) => (),
325+
// self.stack is empty, or the top item is not an Expr
326+
_ => return self.err("A repeat operator must be preceded by a valid expression."),
326327
}
327328
let rep: Repeater = match c {
328329
'?' => ZeroOne, '*' => ZeroMore, '+' => OneMore,

src/libregex/test/tests.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -142,6 +142,7 @@ noparse!{fail_range_end_no_class, "[a-[:lower:]]"}
142142
noparse!{fail_range_end_no_begin, r"[a-\A]"}
143143
noparse!{fail_range_end_no_end, r"[a-\z]"}
144144
noparse!{fail_range_end_no_boundary, r"[a-\b]"}
145+
noparse!{fail_repeat_no_expr, r"-|+"}
145146

146147
macro_rules! mat {
147148
($name:ident, $re:expr, $text:expr, $($loc:tt)+) => (

0 commit comments

Comments
 (0)