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

* spot/twaalgos/gtec/gtec.cc: Work around spurious warning.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2025-02-26 10:44:59 +01:00
parent 00456e5211
commit 539d250587
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
spot/twaalgos/gtec/gtec.cc
View file

@ -459,6 +459,9 @@ namespace spot
auto i = ecs_->h.find(curr); auto i = ecs_->h.find(curr);
assert(i != ecs_->h.end()); assert(i != ecs_->h.end());
assert(i->first == curr); assert(i->first == curr);
// work around g++-14.2.0 spurious "potential null
// pointer dereference" warning.
SPOT_ASSUME(i != ecs_->h.end());
ecs_->root.rem().push_front(i->first); ecs_->root.rem().push_front(i->first);
inc_depth(); inc_depth();
} }