Merge pull request #145 from sonodtt/test_for_N_Block_Statement

hannes-steffenhagen-diffblue · web-flow · commit beed43dbdbc2 · 2019-03-06T17:07:14.000Z
Add (failing) test for unsupported N_Block_Statement node
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"`