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

fix two minor issues reported by clang-analyzer

Browse source 
These are actually two events that should never happen, but let's just
make sure they do not.

* spot/tl/formula.cc: Add an assert.
* spot/twaalgos/emptiness.cc: Add an exception.
This commit is contained in:
Alexandre Duret-Lutz 2016-08-07 19:45:01 +02:00
parent 2b4cf8e7cb
commit 6ed0830f87
2 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/tl/formula.cc
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2015 Laboratoire de Recherche et Développement de // Copyright (C) 2015, 2016 Laboratoire de Recherche et Développement de
// l'Epita (LRDE). // l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -423,6 +423,7 @@ namespace spot
{ {
for (i = v.begin(); i != v.end(); ++i) for (i = v.begin(); i != v.end(); ++i)
(*i)->destroy(); (*i)->destroy();
assert(abs);
return abs->clone(); return abs->clone();
} }
else else

3
spot/twaalgos/emptiness.cc
View file

@ -816,8 +816,9 @@ namespace spot
} }
s2->destroy(); s2->destroy();
} }
assert(res);
s->destroy(); s->destroy();
if (!the_next)
throw std::runtime_error("twa_run::as_twa() unable to replay run");
s = the_next; s = the_next;