luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Allow unnamed begin/end block with only variable declarations 

While it is not a particular useful construct it is legal to have a
begin/end block with just variable declarations and no statements. E.g.

```
begin
  int x;
end
```

At the moment there is a special rule for completely empty begin/end
blocks. Remove that rule and change the statement_or_null_list in the
begin/end block parser section to a statement_or_null_list_opt. This way it
covers both completely empty blocks as well as blocks with only variable
declarations.

Note that this already works as expected for named begin/end blocks.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
This commit is contained in:
Lars-Peter Clausen 2022-01-21 11:46:20 +01:00
parent 9898bffd41
commit ad6131b1c4
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
parse.y
View File

@ -6593,11 +6593,6 @@ statement_item /* This is roughly statement_item in the LRM */
name. These are handled by pushing the scope name, then matching name. These are handled by pushing the scope name, then matching
the declarations. The scope is popped at the end of the block. */ the declarations. The scope is popped at the end of the block. */
| K_begin K_end
{ PBlock*tmp = new PBlock(PBlock::BL_SEQ);
FILE_NAME(tmp, @1);
$$ = tmp;
}
/* In SystemVerilog an unnamed block can contain variable declarations. */ /* In SystemVerilog an unnamed block can contain variable declarations. */
| K_begin | K_begin
{ PBlock*tmp = pform_push_block_scope(@1, 0, PBlock::BL_SEQ); { PBlock*tmp = pform_push_block_scope(@1, 0, PBlock::BL_SEQ);
@ -6618,7 +6613,7 @@ statement_item /* This is roughly statement_item in the LRM */
delete tmp; delete tmp;
} }
} }
statement_or_null_list K_end statement_or_null_list_opt K_end
{ PBlock*tmp; { PBlock*tmp;
if ($3) { if ($3) {
pform_pop_scope(); pform_pop_scope();