diff options
Diffstat (limited to 'testsuite/gna/ticket55')
-rw-r--r-- | testsuite/gna/ticket55/bug.vhdl | 6 | ||||
-rw-r--r-- | testsuite/gna/ticket55/bug1.vhdl | 6 | ||||
-rw-r--r-- | testsuite/gna/ticket55/bug2.vhdl | 6 | ||||
-rw-r--r-- | testsuite/gna/ticket55/bug3.vhdl | 6 | ||||
-rwxr-xr-x | testsuite/gna/ticket55/testsuite.sh | 12 |
5 files changed, 36 insertions, 0 deletions
diff --git a/testsuite/gna/ticket55/bug.vhdl b/testsuite/gna/ticket55/bug.vhdl new file mode 100644 index 0000000..987e5fb --- /dev/null +++ b/testsuite/gna/ticket55/bug.vhdl @@ -0,0 +1,6 @@ +package pkg is + function identifier return integer; + procedure identifier; + alias identifier_alias_fun is identifier[return integer]; + alias identifier_alias_proc is identifier[]; +end package; diff --git a/testsuite/gna/ticket55/bug1.vhdl b/testsuite/gna/ticket55/bug1.vhdl new file mode 100644 index 0000000..28e2b62 --- /dev/null +++ b/testsuite/gna/ticket55/bug1.vhdl @@ -0,0 +1,6 @@ +package pkg is +-- function identifier return integer; + procedure identifier; + alias identifier_alias_fun is identifier[return integer]; +-- alias identifier_alias_proc is identifier[]; +end package; diff --git a/testsuite/gna/ticket55/bug2.vhdl b/testsuite/gna/ticket55/bug2.vhdl new file mode 100644 index 0000000..25298e8 --- /dev/null +++ b/testsuite/gna/ticket55/bug2.vhdl @@ -0,0 +1,6 @@ +package pkg is + function identifier return integer; +-- procedure identifier; +-- alias identifier_alias_fun is identifier[return integer]; + alias identifier_alias_proc is identifier[]; +end package; diff --git a/testsuite/gna/ticket55/bug3.vhdl b/testsuite/gna/ticket55/bug3.vhdl new file mode 100644 index 0000000..7bed33c --- /dev/null +++ b/testsuite/gna/ticket55/bug3.vhdl @@ -0,0 +1,6 @@ +package pkg is + type e is (identifier, i2); +-- procedure identifier; +-- alias identifier_alias_fun is identifier[return integer]; + alias identifier_alias_proc is identifier[]; +end package; diff --git a/testsuite/gna/ticket55/testsuite.sh b/testsuite/gna/ticket55/testsuite.sh new file mode 100755 index 0000000..d0152df --- /dev/null +++ b/testsuite/gna/ticket55/testsuite.sh @@ -0,0 +1,12 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze bug.vhdl +analyze_failure bug1.vhdl +analyze_failure bug2.vhdl +analyze_failure bug3.vhdl + +clean + +echo "Test successful" |