diff options
| author | Tristan Gingold <tgingold@free.fr> | 2014-01-01 07:18:58 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2014-01-01 07:18:58 +0100 |
| commit | 237fd4c864c50a8b0ab99daf198ad60790cb6d0f (patch) | |
| tree | 315bb7ed4bde66b1f0dea79a5fce454b0adce2f1 /testsuite | |
| parent | 8f92f5f35a740182637d137b934b539a7a469014 (diff) | |
| download | ghdl-237fd4c864c50a8b0ab99daf198ad60790cb6d0f.tar.gz ghdl-237fd4c864c50a8b0ab99daf198ad60790cb6d0f.tar.bz2 ghdl-237fd4c864c50a8b0ab99daf198ad60790cb6d0f.zip | |
Fix bug18280, and add it.
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/gna/bug18280/alias_bug.txt | 33 | ||||
| -rw-r--r-- | testsuite/gna/bug18280/alias_bug.vhd | 41 | ||||
| -rw-r--r-- | testsuite/gna/bug18280/ghdc.bat | 2 | ||||
| -rwxr-xr-x | testsuite/gna/bug18280/testsuite.sh | 10 |
4 files changed, 86 insertions, 0 deletions
diff --git a/testsuite/gna/bug18280/alias_bug.txt b/testsuite/gna/bug18280/alias_bug.txt new file mode 100644 index 000000000..b86e47d8b --- /dev/null +++ b/testsuite/gna/bug18280/alias_bug.txt @@ -0,0 +1,33 @@ +
+ The Windows 0.29.1 GHDL build errors at compile time when
+an attribute is placed on a signal for which an alias has
+previously been created.
+
+--------
+
+Code snippet from attached <alias_bug.vhd> example:
+
+ signal processor_address : std_logic_vector(15 downto 0);
+
+ alias address_ms : std_logic_vector(3 downto 0) is processor_address(15 downto 12);
+
+ attribute keep : boolean;
+ attribute keep of processor_address: signal is TRUE;
+
+Resulting error message:
+
+ .\alias_bug.vhd:35:13: alias "address_ms" does not denote the entire object
+
+--------
+
+Workaround:
+
+ Moving the alias _after_ the attribute causes the error to go away.
+
+--------
+
+alias_bug.zip contents :
+
+ alias_bug.txt this file
+ alias_bug.vhd test program to demonstrate alias bug
+ ghdc.bat batch file to invoke compiler
diff --git a/testsuite/gna/bug18280/alias_bug.vhd b/testsuite/gna/bug18280/alias_bug.vhd new file mode 100644 index 000000000..c9e5caab6 --- /dev/null +++ b/testsuite/gna/bug18280/alias_bug.vhd @@ -0,0 +1,41 @@ +--
+-- <alias_bug.vhd>
+--
+-- Illustrates GHDL 0.29.1 WinXP problem with attributes and aliases
+--
+-- Problem:
+-- A signal attribute, placed after an alias on the signal, causes errors like this:
+--
+-- .\alias_bug.vhd:35:13: alias "address_ms" does not denote the entire object
+--
+--
+-- Workaround: move the attribute before the alias
+--
+
+library ieee;
+ use ieee.std_logic_1164.all;
+ use ieee.numeric_std.all;
+
+entity alias_bug is
+end alias_bug;
+
+architecture test of alias_bug is
+
+ signal processor_address : std_logic_vector(15 downto 0);
+
+ --
+ -- if alias is _NOT_ declared, error goes away
+ --
+ alias address_ms : std_logic_vector(3 downto 0) is processor_address(15 downto 12);
+
+ --
+ -- if the keep attribute is placed _BEFORE_ the alias, no error occurs
+ --
+ attribute keep : boolean;
+ attribute keep of processor_address: signal is TRUE;
+
+ begin
+
+ processor_address <= X"1234";
+
+ end test;
diff --git a/testsuite/gna/bug18280/ghdc.bat b/testsuite/gna/bug18280/ghdc.bat new file mode 100644 index 000000000..aca169bb5 --- /dev/null +++ b/testsuite/gna/bug18280/ghdc.bat @@ -0,0 +1,2 @@ +ghdl -a alias_bug.vhd
+ghdl -r alias_bug.vhd
\ No newline at end of file diff --git a/testsuite/gna/bug18280/testsuite.sh b/testsuite/gna/bug18280/testsuite.sh new file mode 100755 index 000000000..8856ba53c --- /dev/null +++ b/testsuite/gna/bug18280/testsuite.sh @@ -0,0 +1,10 @@ +#! /bin/sh + +. ../../testenv.sh + +analyze alias_bug.vhd +elab_simulate alias_bug + +clean + +echo "Test successful" |