diff options
| author | Rupert Swarbrick <rswarbrick@gmail.com> | 2020-05-27 09:33:49 +0100 |
|---|---|---|
| committer | Rupert Swarbrick <rswarbrick@gmail.com> | 2020-05-27 09:34:15 +0100 |
| commit | 0d9beb5b2eec3ba839faa58a1a775311d9c3376c (patch) | |
| tree | 8d927a947f50a04d27c114550b78b623707a6c8c /backends/smt2 | |
| parent | a7f2ef6d34c4b336a910b3c6f3d2cc11da8a82b4 (diff) | |
| download | yosys-0d9beb5b2eec3ba839faa58a1a775311d9c3376c.tar.gz yosys-0d9beb5b2eec3ba839faa58a1a775311d9c3376c.tar.bz2 yosys-0d9beb5b2eec3ba839faa58a1a775311d9c3376c.zip | |
Silence warning in select.cc
With GCC 9.3, at least, compiling select.cc spits out a warning about
an implausible bound being passed to strncmp. This comes from inlining
IdString::compare(): it turns out that passing std::string::npos as a
bound to strncmp triggers it.
This patch replaces the compare call with a memcmp with the same
effect. The repeated calls to IdString::c_str are slightly
inefficient, but I'll address that in a follow-up commit.
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions