From 3a234e24ae487fd75175a27c4b80b11cd154bbb8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 17 May 2022 11:43:55 +0200
Subject: [PATCH] fix warnings from clang-15

* spot/twa/acc.cc (acc_cond::acc_code::symmetries): Fix weird loop.
* spot/twaalgos/aiger.cc (aig::circ_step): Replace & by &&.
---
 spot/twa/acc.cc        | 4 ++--
 spot/twaalgos/aiger.cc | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/spot/twa/acc.cc b/spot/twa/acc.cc
index 5b7985d70..ce5d463aa 100644
--- a/spot/twa/acc.cc
+++ b/spot/twa/acc.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015-2021 Laboratoire de Recherche et Développement
+// Copyright (C) 2015-2022 Laboratoire de Recherche et Développement
 // de l'Epita.
 //
 // This file is part of Spot, a model checking library.
@@ -1029,7 +1029,7 @@ namespace spot
     int base = ba.allocate_variables(umax+2);
     assert(base == 0);
     std::vector<bdd> r;
-    for (unsigned i = 0; r.size() < umax; ++i)
+    while (r.size() < umax)
       r.emplace_back(bdd_ithvar(base++));
     bdd bddcode = to_bdd(&r[0]);
     bdd tmp;
diff --git a/spot/twaalgos/aiger.cc b/spot/twaalgos/aiger.cc
index 660d5b46a..e3c3bb6c5 100644
--- a/spot/twaalgos/aiger.cc
+++ b/spot/twaalgos/aiger.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2017-2021 Laboratoire de Recherche et Développement
+// Copyright (C) 2017-2022 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -1398,7 +1398,7 @@ namespace spot
       {
         unsigned var_g = gate_var(i);
         state_[var_g] = state_[and_gates_[i].first]
-                        & state_[and_gates_[i].second];
+                        && state_[and_gates_[i].second];
         state_[aig_not(var_g)] = !state_[var_g];
       }
     // Update latches