From: Claire Wolf <claire@symbioticeda.com>
Date: Thu, 4 Jun 2020 13:53:28 +0000 (+0200)
Subject: Add printf format attributes to btorf/infof helper functions
X-Git-Tag: working-ls180~508
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc;p=yosys.git

Add printf format attributes to btorf/infof helper functions

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
---

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());