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

* spot/mc/cndfs.hh: Fix a unused variable warning in NDEBUG.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-07-05 23:56:36 +02:00
parent a66c305609
commit ee55dabfaa
1 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

6
spot/mc/cndfs.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2015, 2016, 2017, 2018, 2019, 2020 Laboratoire de Recherche et // Copyright (C) 2015-2020, 2022 Laboratoire de Recherche et
// Developpement de l'Epita // Developpement de l'Epita
// //
// This file is part of Spot, a model checking library. // This file is part of Spot, a model checking library.
@ -191,9 +191,7 @@ namespace spot
{ {
// Try to insert the new state in the shared map. // Try to insert the new state in the shared map.
auto it = map_.insert(s); auto it = map_.insert(s);
bool b = it.isnew(); SPOT_ASSERT(!it.isnew()); // should never be new in a red DFS
SPOT_ASSERT(!b); // should never be new in a red DFS
bool red = ((*it)).colors->red.load(); bool red = ((*it)).colors->red.load();
bool cyan = ((*it)).colors->l[tid_].cyan; bool cyan = ((*it)).colors->l[tid_].cyan;
bool in_Rp = ((*it)).colors->l[tid_].is_in_Rp; bool in_Rp = ((*it)).colors->l[tid_].is_in_Rp;