From f7500b886a348a05851dd770cb7a1bff1d1f7ff7 Mon Sep 17 00:00:00 2001 From: sofia Date: Thu, 24 Jul 2025 01:41:46 +0300 Subject: [PATCH] Add two failing examples --- examples/list_hard.reid | 12 ++++++++++++ examples/ptr_hard.reid | 8 ++++++++ reid/tests/e2e.rs | 8 ++++++++ 3 files changed, 28 insertions(+) create mode 100644 examples/list_hard.reid create mode 100644 examples/ptr_hard.reid diff --git a/examples/list_hard.reid b/examples/list_hard.reid new file mode 100644 index 0000000..634e198 --- /dev/null +++ b/examples/list_hard.reid @@ -0,0 +1,12 @@ +fn main() { + let mut a = 5; + for i in 0..1000 { + for j in 0..1000 { + for k in 0..1000 { + inner(&mut a); + } + } + } +} + +fn inner(a: &mut i32) {} \ No newline at end of file diff --git a/examples/ptr_hard.reid b/examples/ptr_hard.reid new file mode 100644 index 0000000..5f1d9d2 --- /dev/null +++ b/examples/ptr_hard.reid @@ -0,0 +1,8 @@ +fn main() { + let mut a = 5; + inner(&mut a); +} + +fn inner(a: &mut i32) { + *a = *a + 1; +} diff --git a/reid/tests/e2e.rs b/reid/tests/e2e.rs index 5685490..7d37782 100644 --- a/reid/tests/e2e.rs +++ b/reid/tests/e2e.rs @@ -124,3 +124,11 @@ fn struct_compiles_well() { fn loops_compiles_well() { test(include_str!("../../examples/loops.reid"), "test", 10); } +#[test] +fn ptr_hard_compiles_well() { + test(include_str!("../../examples/ptr_hard.reid"), "test", 0); +} +#[test] +fn list_hard_compiles_well() { + test(include_str!("../../examples/list_hard.reid"), "test", 0); +}