diff options
| author | whitequark <whitequark@whitequark.org> | 2021-12-11 12:01:52 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2021-12-11 12:01:52 +0000 |
| commit | 86f2804dc3f80cd74349c62888376c8596fb1856 (patch) | |
| tree | 6782061feabf37590b146aa194f66717160e146a /frontends/json/jsonparse.cc | |
| parent | 8e91857fabe75e032810bb09a22af1b18cb8172f (diff) | |
| download | yosys-86f2804dc3f80cd74349c62888376c8596fb1856.tar.gz yosys-86f2804dc3f80cd74349c62888376c8596fb1856.tar.bz2 yosys-86f2804dc3f80cd74349c62888376c8596fb1856.zip | |
write_verilog: dump zero width sigspecs correctly.
Before this commit, zero width sigspecs were dumped as "" (empty
string). Unfortunately, 1364-2005 5.2.3.3 indicates that an empty
string is equivalent to "\0", and is 8 bits wide, so that's wrong.
After this commit, a replication operation with a count of zero is
used instead, which is explicitly permitted per 1364-2005 5.1.14,
and is defined to have size zero. (Its operand has to have a non-zero
size for it to be legal, though.)
PR #1203 has addressed this issue before, but in an incomplete way.
Diffstat (limited to 'frontends/json/jsonparse.cc')
0 files changed, 0 insertions, 0 deletions