| 1 |
78957d3d
|
Arnaud Dieumegard
|
ERROR: Unable to parse source file : /home/adieumeg/Documents/Repositories/lustrec-tests/vhdl_json/vhdl_files/ghdl/ghdl/testsuite/vests/vhdl-93/billowitch/compliant/tc1567.vhd
|
| 2 |
d93979b7
|
Arnaud Dieumegard
|
ERROR: Parse error at line 44 column 9:
|
| 3 |
|
|
|
| 4 |
|
|
34: ARCHITECTURE c08s10b00x00p03n01i01567arch OF c08s10b00x00p03n01i01567ent IS
|
| 5 |
|
|
35:
|
| 6 |
|
|
36: BEGIN
|
| 7 |
|
|
37: TESTING: PROCESS
|
| 8 |
|
|
38: variable k : integer := 0;
|
| 9 |
|
|
39: variable m : integer := 0;
|
| 10 |
|
|
40: BEGIN
|
| 11 |
|
|
41: L1: for i in boolean loop
|
| 12 |
|
|
42: k := 5;
|
| 13 |
|
|
43: L2: for j in 1 to 3 loop
|
| 14 |
|
|
44: next L2;
|
| 15 |
|
|
^
|
| 16 |
|
|
45: k := 3;
|
| 17 |
|
|
46: end loop L2;
|
| 18 |
|
|
47: m := m + 1;
|
| 19 |
|
|
48: end loop L1;
|
| 20 |
|
|
49: assert NOT(( k=5 ) and (m= boolean'Pos(boolean'High) - boolean'Pos(boolean'Low) + 1))
|
| 21 |
|
|
50: report "***PASSED TEST: c08s10b00x00p03n01i01567"
|
| 22 |
|
|
51: severity NOTE;
|
| 23 |
|
|
52: assert (( k=5 ) and (m= boolean'Pos(boolean'High) - boolean'Pos(boolean'Low) + 1))
|
| 24 |
|
|
53: report "***FAILED TEST: c08s10b00x00p03n01i01567 - A next statement with a loop label is only allowed within the labeled loop, and applies to that loop."
|
| 25 |
|
|
54: severity ERROR;
|
| 26 |
|
|
|
| 27 |
78957d3d
|
Arnaud Dieumegard
|
WARN: Missing blame information for the following files:
|
| 28 |
|
|
WARN: * tc1567.vhd
|
| 29 |
|
|
WARN: This may lead to missing/broken features in SonarQube
|