alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Fix more errors reported by Clang.

Browse source 
* 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.
This commit is contained in:
Alexandre Duret-Lutz 2010-11-27 10:21:44 +01:00
parent 0d9d0b08ec
commit 019c85dff6
3 changed files with 18 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

9
ChangeLog
View file

@ -1,3 +1,12 @@
2010-11-27 Alexandre Duret-Lutz <adl@lrde.epita.fr>
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 <adl@lrde.epita.fr> 2010-11-26 Alexandre Duret-Lutz <adl@lrde.epita.fr>
Finalize Kripke interface. Finalize Kripke interface.

4
src/tgbaalgos/reducerun.hh
View file

@ -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), // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre // département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie. // et Marie Curie.
@ -25,7 +27,7 @@
namespace spot namespace spot
{ {
class tgba; class tgba;
class tgba_run; struct tgba_run;
/// \brief Reduce an accepting run. /// \brief Reduce an accepting run.
/// \ingroup tgba_run /// \ingroup tgba_run

12
src/tgbatest/randtgba.cc
View file

@ -1,5 +1,5 @@
// Copyright (C) 2008, 2009 Laboratoire de Recherche et Développement // Copyright (C) 2008, 2009, 2010 Laboratoire de Recherche et
// de l'Epita (LRDE). // Développement de l'Epita (LRDE).
// Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris // Copyright (C) 2004, 2005 Laboratoire d'Informatique de Paris
// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
// Université Pierre et Marie Curie. // 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; 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; 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; int n = -1;
@ -1270,9 +1270,9 @@ main(int argc, char** argv)
std::cout << std::right << std::fixed << std::setprecision(1); std::cout << std::right << std::fixed << std::setprecision(1);
ec_ratio_stat_type::stats_alg_map& stats2 = arc_ratio_stats.stats; 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); std::cout << std::setw(25) << algo << " " << std::setw(8);