From 20259a7f396e03c5bfce9237fd5732eb931e3d23 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 2 Jun 2016 20:27:06 +0200
Subject: Add testcase for issue67

---
 testsuite/gna/issue67/fileerr.vhdl | 14 ++++++++++++++
 testsuite/gna/issue67/nullacc.vhdl | 18 ++++++++++++++++++
 testsuite/gna/issue67/testsuite.sh | 13 +++++++++++++
 3 files changed, 45 insertions(+)
 create mode 100644 testsuite/gna/issue67/fileerr.vhdl
 create mode 100644 testsuite/gna/issue67/nullacc.vhdl
 create mode 100755 testsuite/gna/issue67/testsuite.sh

diff --git a/testsuite/gna/issue67/fileerr.vhdl b/testsuite/gna/issue67/fileerr.vhdl
new file mode 100644
index 000000000..6ec380ece
--- /dev/null
+++ b/testsuite/gna/issue67/fileerr.vhdl
@@ -0,0 +1,14 @@
+entity fileerr is
+end fileerr;
+
+use std.textio.all;
+
+architecture behav of fileerr is
+begin
+  process
+    file f : text;
+  begin
+    file_open (f, "bad-file-name");
+    wait;
+  end process;
+end behav;
diff --git a/testsuite/gna/issue67/nullacc.vhdl b/testsuite/gna/issue67/nullacc.vhdl
new file mode 100644
index 000000000..31d3328f5
--- /dev/null
+++ b/testsuite/gna/issue67/nullacc.vhdl
@@ -0,0 +1,18 @@
+entity nullacc is
+end nullacc;
+
+architecture behav of nullacc is
+begin
+  process
+    type int_acc is access integer;
+    variable v : int_acc;
+  begin
+    v := new integer'(7);
+    assert v.all = 7 severity failure;
+    deallocate (v);
+    assert v.all = 0 severity note; -- access error
+    wait;
+  end process;
+end behav;
+
+    
diff --git a/testsuite/gna/issue67/testsuite.sh b/testsuite/gna/issue67/testsuite.sh
new file mode 100755
index 000000000..3ed6c40d7
--- /dev/null
+++ b/testsuite/gna/issue67/testsuite.sh
@@ -0,0 +1,13 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+analyze nullacc.vhdl
+elab_simulate_failure nullacc
+
+analyze fileerr.vhdl
+elab_simulate_failure fileerr
+
+clean
+
+echo "Test successful"
-- 
cgit v1.2.3