1 files changed, 41 insertions, 0 deletions
diff --git a/ocaml-binary-annot/testsuite/tests/tool-ocaml/t091-acc.ml b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t091-acc.ml
new file mode 100644
index 0000000000..26b003f668
--- /dev/null
+++ b/ocaml-binary-annot/testsuite/tests/tool-ocaml/t091-acc.ml
@@ -0,0 +1,41 @@
+open Lib;;
+let x = true in
+let y = false in
+let z = false in
+let a = false in
+let b = false in
+let c = false in
+let d = false in
+let e = false in
+let f = false in
+();
+if not x then raise Not_found
+;;
+
+(**
+       0 CONSTINT 42
+       2 PUSHACC0 
+       3 MAKEBLOCK1 0
+       5 POP 1
+       7 SETGLOBAL Lib
+       9 CONST1 
+      10 PUSHCONST0 
+      11 PUSHCONST0 
+      12 PUSHCONST0 
+      13 PUSHCONST0 
+      14 PUSHCONST0 
+      15 PUSHCONST0 
+      16 PUSHCONST0 
+      17 PUSHCONST0 
+      18 PUSHCONST0 
+      19 ACC 8
+      21 BOOLNOT 
+      22 BRANCHIFNOT 29
+      24 GETGLOBAL Not_found
+      26 MAKEBLOCK1 0
+      28 RAISE 
+      29 POP 9
+      31 ATOM0 
+      32 SETGLOBAL T091-acc
+      34 STOP 
+**)