Restrict RTLIL::IdString to not contain whitespace or control chars.
authorwhitequark <whitequark@whitequark.org>
Wed, 27 May 2020 05:20:39 +0000 (05:20 +0000)
committerwhitequark <whitequark@whitequark.org>
Fri, 29 May 2020 06:43:18 +0000 (06:43 +0000)
commitefa7424fb93943d746a344d08e5e879d983709e9
tree32644607450d6bbb1b5412f665d5400a7fd9300d
parentb6513521931ab7375f5409db7d94140b533b5fa2
Restrict RTLIL::IdString to not contain whitespace or control chars.

This is an existing invariant (most backends can't cope with these)
but one that was not checked or documented.
kernel/rtlil.h
manual/CHAPTER_Overview.tex