Add a test

Author: gretay-js

tests/backend/checkmach/dune.inc

@@ -578,3 +578,22 @@
  (enabled_if (= %{context_name} "main"))
  (deps test_zero_alloc_opt2.ml)
  (action (run %{bin:ocamlopt.opt} %{deps} -g -c -zero-alloc-check opt -dcse -dcheckmach -dump-into-file -O3)))
+
+(rule
+ (enabled_if (= %{context_name} "main"))
+ (targets test_misplaced_attr.output.corrected)
+ (deps (:ml test_misplaced_attr.ml) filter.sh)
+ (action
+   (with-outputs-to test_misplaced_attr.output.corrected
+    (pipe-outputs
+    (with-accepted-exit-codes 0
+     (run %{bin:ocamlopt.opt} %{ml} -g -color never -error-style short -c
+          -zero-alloc-check default -checkmach-details-cutoff 20 -O3))
+    (run "./filter.sh")
+   ))))
+
+(rule
+ (alias   runtest)
+ (enabled_if (= %{context_name} "main"))
+ (deps test_misplaced_attr.output test_misplaced_attr.output.corrected)
+ (action (diff test_misplaced_attr.output test_misplaced_attr.output.corrected)))

tests/backend/checkmach/gen/gen_dune.ml

@@ -124,4 +124,5 @@ let () =
   print_test_expected_output ~extra_flags:"-zero-alloc-check opt" ~cutoff:default_cutoff ~flambda_only:true ~extra_dep:None ~exit_code:2 "fail23";
   print_test ~extra_flags:"-zero-alloc-check opt" ~flambda_only:false "test_zero_alloc_opt1.ml";
   print_test ~extra_flags:"-zero-alloc-check opt" ~flambda_only:false "test_zero_alloc_opt2.ml";
+  print_test_expected_output ~cutoff:default_cutoff ~flambda_only:false ~extra_dep:None ~exit_code:0 "test_misplaced_attr";
   ()

tests/backend/checkmach/test_misplaced_attr.ml

@@ -0,0 +1,7 @@
+let[@zero_alloc assume] foo =
+  let x = 42 in
+  fun z -> z + x
+
+let[@zero_alloc] bar =
+  let x = 42 in
+  fun z -> z + x

tests/backend/checkmach/test_misplaced_attr.output

@@ -0,0 +1,5 @@
+File "test_misplaced_attr.ml", line 1, characters 5-15:
+Warning 53 [misplaced-attribute]: the "zero_alloc" attribute cannot appear in this context
+
+File "test_misplaced_attr.ml", line 5, characters 5-15:
+Warning 53 [misplaced-attribute]: the "zero_alloc" attribute cannot appear in this context