From 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Thu, 4 Jun 2020 15:53:28 +0200 Subject: [PATCH] Add printf format attributes to btorf/infof helper functions Signed-off-by: Claire Wolf --- backends/btor/btor.cc | 6 +++--- 1 file 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 info_lines; dict 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()); -- 2.30.2