Add (failing) test for unsupported N_Block_Statement node

Sonny Martin · Sonny Martin · commit 243f19a59709 · 2019-03-06T16:07:11.000Z
diff --git a/testsuite/gnat2goto/tests/statement_new_block_N_Block_Statement/Statement_Block.adb b/testsuite/gnat2goto/tests/statement_new_block_N_Block_Statement/Statement_Block.adb
@@ -0,0 +1,13 @@
+procedure Statement_Block is
+   Var1 : Integer;
+   Var3 : Integer;
+begin
+   Var1 := 1;
+   declare
+      Var2 : Integer;
+   begin
+      Var2 := 2;
+      Var3 := Var2;
+   end;
+   Var3 := Var1;
+end Statement_Block;
diff --git a/testsuite/gnat2goto/tests/statement_new_block_N_Block_Statement/test.opt b/testsuite/gnat2goto/tests/statement_new_block_N_Block_Statement/test.opt
@@ -0,0 +1 @@
+ALL XFAIL gnat2goto fails with "Warning: block statements unhandled"
diff --git a/testsuite/gnat2goto/tests/statement_new_block_N_Block_Statement/test.py b/testsuite/gnat2goto/tests/statement_new_block_N_Block_Statement/test.py
@@ -0,0 +1,3 @@
+from test_support import *
+
+prove()

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+ALL XFAIL gnat2goto fails with "Warning: block statements unhandled"`