diff options
author | whitequark <whitequark@whitequark.org> | 2020-04-04 22:53:46 +0000 |
---|---|---|
committer | whitequark <whitequark@whitequark.org> | 2020-04-09 04:08:36 +0000 |
commit | 3376dcf37c02f10552f84a9602b0d05c8f77ba3a (patch) | |
tree | 9222bce4f9b7315e0ce4d5a607587e4c8a07ffde /manual/CHAPTER_Overview.tex | |
parent | 5157691f0eca5c5312524483491309a7e07d9710 (diff) | |
download | yosys-3376dcf37c02f10552f84a9602b0d05c8f77ba3a.tar.gz yosys-3376dcf37c02f10552f84a9602b0d05c8f77ba3a.tar.bz2 yosys-3376dcf37c02f10552f84a9602b0d05c8f77ba3a.zip |
write_cxxrtl: avoid undefined behavior on out-of-bounds memory access.
After this commit, if NDEBUG is not defined, out-of-bounds accesses
cause assertion failures for reads and writes. If NDEBUG is defined,
out-of-bounds reads return zeroes, and out-of-bounds writes are
ignored.
This commit also adds support for memories that start with a non-zero
index (`Memory::start_offset` in RTLIL).
Diffstat (limited to 'manual/CHAPTER_Overview.tex')
0 files changed, 0 insertions, 0 deletions