From ebe51e206ea036090d6068a6fa9e26d7b2c769b4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Sat, 5 Oct 2024 18:37:53 +0200 Subject: [PATCH] aiger2: Fix warnings --- backends/aiger2/aiger.cc | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc index a6a4b841a..0406ca0ac 100644 --- a/backends/aiger2/aiger.cc +++ b/backends/aiger2/aiger.cc @@ -222,8 +222,8 @@ struct Index { std::vector next; while (lits.size() > 1) { next.clear(); - for (int i = 0; i < lits.size(); i += 2) { - if (i + 1 >= lits.size()) { + for (int i = 0; i < (int) lits.size(); i += 2) { + if (i + 1 >= (int) lits.size()) { next.push_back(lits[i]); } else { Lit a = lits[i], b = lits[i + 1]; @@ -430,7 +430,7 @@ struct Index { for (int i = 0; i < sport.size(); i++) { Lit s = visit(cursor, sport[i]); next.clear(); - for (int j = 0; j < data.size(); j += 2) + for (int j = 0; j < (int) data.size(); j += 2) next.push_back(MUX(data[j], data[j + 1], s)); data.swap(next); } @@ -537,7 +537,7 @@ struct Index { } }; - bool visit_hook(int idx, HierCursor &cursor, SigBit bit) + bool visit_hook(int, HierCursor&, SigBit) { return false; }