diff options
| -rw-r--r-- | testsuite/gna/bug0100/attr3.vhdl | 22 | ||||
| -rwxr-xr-x | testsuite/gna/bug0100/testsuite.sh | 1 | 
2 files changed, 23 insertions, 0 deletions
| diff --git a/testsuite/gna/bug0100/attr3.vhdl b/testsuite/gna/bug0100/attr3.vhdl new file mode 100644 index 000000000..75f24bc42 --- /dev/null +++ b/testsuite/gna/bug0100/attr3.vhdl @@ -0,0 +1,22 @@ +entity attr3 is +end attr3; + +use std.textio.all; + +architecture behav of attr3 is +  signal s : bit; +begin +  process +    variable l : line; +  begin +    wait until s = '1'; +    'event; + +    if s = '0' then +      write(l, s); +    else +      write(l, string'("hello")); +      write(l, s); +    end if; +  end process; +end behav; diff --git a/testsuite/gna/bug0100/testsuite.sh b/testsuite/gna/bug0100/testsuite.sh index 786c316ca..c557161a3 100755 --- a/testsuite/gna/bug0100/testsuite.sh +++ b/testsuite/gna/bug0100/testsuite.sh @@ -23,6 +23,7 @@ analyze_failure --force-analysis badrng.vhdl  analyze_failure --force-analysis attr.vhdl  analyze_failure --force-analysis attr2.vhdl  analyze_failure paren.vhdl +analyze_failure --force-analysis attr3.vhdl  if analyze_failure --force-analysis notype1.vhdl 2>&1 | grep -q "indexed name"; then    : | 
