From 118801b0f49b8e80b2ab036523449955e0be77de Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 2 May 2022 18:25:24 +0200 Subject: testsuite/gna: add a test for previous commit --- testsuite/gna/bug0100/oper1.vhdl | 11 +++++++++++ testsuite/gna/bug0100/testsuite.sh | 1 + 2 files changed, 12 insertions(+) create mode 100644 testsuite/gna/bug0100/oper1.vhdl diff --git a/testsuite/gna/bug0100/oper1.vhdl b/testsuite/gna/bug0100/oper1.vhdl new file mode 100644 index 000000000..4ba7a5bba --- /dev/null +++ b/testsuite/gna/bug0100/oper1.vhdl @@ -0,0 +1,11 @@ +entity oper1 is + port ( + a: bit; + err : out bit); +end; + +architecture behav of oper1 is + signal b_err : bit_vector(7 downto 0); +begin + err <= '1' when b_err /= (b_err'range => inp(1)); +end behav; diff --git a/testsuite/gna/bug0100/testsuite.sh b/testsuite/gna/bug0100/testsuite.sh index 485b0e443..d9e2210c4 100755 --- a/testsuite/gna/bug0100/testsuite.sh +++ b/testsuite/gna/bug0100/testsuite.sh @@ -32,6 +32,7 @@ analyze_failure --force-analysis varcomp.vhdl analyze_failure --force-analysis name4.vhdl analyze_failure --force-analysis inst2.vhdl analyze_failure arr_err1.vhdl +analyze_failure --force-analysis oper1.vhdl if analyze_failure --force-analysis notype1.vhdl 2>&1 | grep -q "indexed name"; then : -- cgit v1.2.3