2020-05-23 18:29:06 +02:00
|
|
|
#![cfg(not(feature = "unchecked"))]
|
2020-08-08 10:03:14 +02:00
|
|
|
use rhai::{Engine, EvalAltResult, ParseErrorType, INT};
|
2020-04-07 17:13:47 +02:00
|
|
|
|
|
|
|
#[test]
|
2020-05-23 18:29:06 +02:00
|
|
|
#[cfg(not(feature = "no_function"))]
|
2020-05-18 13:32:22 +02:00
|
|
|
fn test_stack_overflow_fn_calls() -> Result<(), Box<EvalAltResult>> {
|
2020-04-07 17:13:47 +02:00
|
|
|
let engine = Engine::new();
|
|
|
|
|
|
|
|
assert_eq!(
|
2020-08-05 18:24:25 +02:00
|
|
|
engine.eval::<INT>(
|
2020-04-07 17:13:47 +02:00
|
|
|
r"
|
2020-05-18 13:32:22 +02:00
|
|
|
fn foo(n) { if n <= 1 { 0 } else { n + foo(n-1) } }
|
2020-12-29 05:29:45 +01:00
|
|
|
foo(6)
|
|
|
|
",
|
2020-04-07 17:13:47 +02:00
|
|
|
)?,
|
2020-12-29 05:29:45 +01:00
|
|
|
20
|
2020-04-07 17:13:47 +02:00
|
|
|
);
|
|
|
|
|
2020-12-29 05:29:45 +01:00
|
|
|
let max = engine.max_call_levels();
|
|
|
|
|
2020-05-15 05:43:32 +02:00
|
|
|
#[cfg(not(feature = "unchecked"))]
|
2020-05-19 04:08:27 +02:00
|
|
|
assert!(matches!(
|
2020-10-28 07:10:46 +01:00
|
|
|
*engine
|
2020-12-29 05:29:45 +01:00
|
|
|
.eval::<()>(&format!(
|
2020-10-28 07:10:46 +01:00
|
|
|
r"
|
2020-12-29 05:29:45 +01:00
|
|
|
fn foo(n) {{ if n == 0 {{ 0 }} else {{ n + foo(n-1) }} }}
|
|
|
|
foo({})
|
|
|
|
",
|
|
|
|
max + 1
|
|
|
|
))
|
2020-10-28 07:10:46 +01:00
|
|
|
.expect_err("should error"),
|
|
|
|
EvalAltResult::ErrorStackOverflow(_)
|
2020-05-19 04:08:27 +02:00
|
|
|
));
|
2020-04-07 17:13:47 +02:00
|
|
|
|
|
|
|
Ok(())
|
|
|
|
}
|
2020-05-18 13:32:22 +02:00
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn test_stack_overflow_parsing() -> Result<(), Box<EvalAltResult>> {
|
|
|
|
let mut engine = Engine::new();
|
|
|
|
|
2020-08-08 10:03:14 +02:00
|
|
|
assert_eq!(
|
|
|
|
*engine.compile(r"
|
2020-05-18 13:32:22 +02:00
|
|
|
let a = (1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(1+(
|
2020-08-08 10:03:14 +02:00
|
|
|
").expect_err("should error").0,
|
|
|
|
ParseErrorType::ExprTooDeep
|
|
|
|
);
|
2020-05-18 13:32:22 +02:00
|
|
|
|
2020-10-18 16:24:01 +02:00
|
|
|
engine.set_max_expr_depths(
|
|
|
|
100,
|
2020-10-18 16:38:15 +02:00
|
|
|
#[cfg(not(feature = "no_function"))]
|
2020-10-18 16:24:01 +02:00
|
|
|
6,
|
|
|
|
);
|
2020-05-18 13:32:22 +02:00
|
|
|
|
|
|
|
engine.compile("1 + 2")?;
|
|
|
|
engine.compile(
|
|
|
|
r"
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 0 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8
|
2021-03-27 11:08:34 +01:00
|
|
|
",
|
2020-05-18 13:32:22 +02:00
|
|
|
)?;
|
|
|
|
|
2020-08-08 10:03:14 +02:00
|
|
|
assert_eq!(
|
|
|
|
*engine
|
|
|
|
.compile(
|
|
|
|
r"
|
2021-03-27 11:08:34 +01:00
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 0 +
|
|
|
|
1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9
|
|
|
|
"
|
2020-08-08 10:03:14 +02:00
|
|
|
)
|
|
|
|
.expect_err("should error")
|
|
|
|
.0,
|
|
|
|
ParseErrorType::ExprTooDeep
|
|
|
|
);
|
2020-05-18 13:32:22 +02:00
|
|
|
|
2020-05-23 18:29:06 +02:00
|
|
|
#[cfg(not(feature = "no_function"))]
|
2020-05-18 13:32:22 +02:00
|
|
|
engine.compile("fn abc(x) { x + 1 }")?;
|
|
|
|
|
|
|
|
Ok(())
|
|
|
|
}
|