diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-06-04 15:53:28 +0200 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-06-04 15:53:28 +0200 |
| commit | 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc (patch) | |
| tree | c7741792267ed92280be62ce8d4c686021cb7368 /backends | |
| parent | 8efe6ee7f573296d27a9808102f31a99d3efdb58 (diff) | |
| download | yosys-5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc.tar.gz yosys-5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc.tar.bz2 yosys-5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc.zip | |
Add printf format attributes to btorf/infof helper functions
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/btor/btor.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index aa5299529..bbdcfb70a 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -79,7 +79,7 @@ struct BtorWorker vector<string> info_lines; dict<int, int> info_clocks; - void btorf(const char *fmt, ...) + void btorf(const char *fmt, ...) YS_ATTRIBUTE(format(printf, 2, 3)) { va_list ap; va_start(ap, fmt); @@ -87,7 +87,7 @@ struct BtorWorker va_end(ap); } - void infof(const char *fmt, ...) + void infof(const char *fmt, ...) YS_ATTRIBUTE(format(printf, 2, 3)) { va_list ap; va_start(ap, fmt); @@ -524,7 +524,7 @@ struct BtorWorker if (cell->type == ID($reduce_xnor)) { int nid2 = next_nid++; btorf("%d %s %d %d%s\n", nid, btor_op.c_str(), sid, nid_a, getinfo(cell).c_str()); - btorf("%d not %d %d %d\n", nid2, sid, nid); + btorf("%d not %d %d\n", nid2, sid, nid); nid = nid2; } else { btorf("%d %s %d %d%s\n", nid, btor_op.c_str(), sid, nid_a, getinfo(cell).c_str()); |