diff --git a/ChangeLog b/ChangeLog index 0ead8e6e8..b932da60e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2010-11-27 Alexandre Duret-Lutz + + Fix more errors reported by Clang. + + * src/tgbaalgos/reducerun.hh (tgba_run): Predeclare as a struct + since this is what it is. + * src/tgbatest/randtgba.cc (main): Avoid using "i" with two + different type in the same loop. + 2010-11-26 Alexandre Duret-Lutz Finalize Kripke interface. diff --git a/src/tgbaalgos/reducerun.hh b/src/tgbaalgos/reducerun.hh index ef1b542bc..155998e21 100644 --- a/src/tgbaalgos/reducerun.hh +++ b/src/tgbaalgos/reducerun.hh @@ -1,3 +1,5 @@ +// Copyright (C) 2010 Laboratoire de Recherche et Developpement de +// l'Epita. // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), // département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. @@ -25,7 +27,7 @@ namespace spot { class tgba; - class tgba_run; + struct tgba_run; /// \brief Reduce an accepting run. /// \ingroup tgba_run diff --git a/src/tgbatest/randtgba.cc b/src/tgbatest/randtgba.cc index 4a27e6430..40a2d3d84 100644 --- a/src/tgbatest/randtgba.cc +++ b/src/tgbatest/randtgba.cc @@ -1,5 +1,5 @@ -// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// Copyright (C) 2008, 2009, 2010 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // Université Pierre et Marie Curie. @@ -1225,9 +1225,9 @@ main(int argc, char** argv) ec_ratio_stat_type::stats_alg_map& stats = glob_ec_ratio_stats.stats; typedef ec_ratio_stat_type::alg_1stat_map::const_iterator ec_iter; - for (unsigned i = 0; i < ec_algos.size(); ++i) + for (unsigned ai = 0; ai < ec_algos.size(); ++ai) { - const std::string algo = ec_algos[i].name; + const std::string algo = ec_algos[ai].name; int n = -1; @@ -1270,9 +1270,9 @@ main(int argc, char** argv) std::cout << std::right << std::fixed << std::setprecision(1); ec_ratio_stat_type::stats_alg_map& stats2 = arc_ratio_stats.stats; - for (unsigned i = 0; i < ec_algos.size(); ++i) + for (unsigned ai = 0; ai < ec_algos.size(); ++ai) { - const std::string algo = ec_algos[i].name; + const std::string algo = ec_algos[ai].name; std::cout << std::setw(25) << algo << " " << std::setw(8);