From a9c9644e44c65d3877e174d77cdd7205e83e8278 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Wed, 15 Oct 2025 13:30:47 -0400 Subject: [PATCH] Demonstrate infinite loop and OOM error when passing duplicate attributes. Signed-off-by: Carl Eastlund --- test/attr_replace/run.t | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/test/attr_replace/run.t b/test/attr_replace/run.t index ebf7af72..b4417284 100644 --- a/test/attr_replace/run.t +++ b/test/attr_replace/run.t @@ -123,3 +123,13 @@ Test that the "attr_multiple_replace" infrastructure works. > EOF $ ./driver.exe test.ml let _ = ((prefix_foo_suffix)[@alert "-1"][@alert "-2"][@alert "-3"]) + +Demonstrate error when multiple instances of one attribute are passed. + $ cat > test.ml << EOF + > let _ = + > foo + > [@prefix "prefix_"] + > [@suffix "_suffix"] + > [@suffix "_again"] + > EOF + $ ./driver.exe test.ml