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

build: fix multiple Clang13 warnings

Browse source 
* spot/kripke/kripkegraph.hh, spot/misc/hash.hh, spot/twa/taatgba.cc,
  spot/twa/twagraph.hh, tests/core/ngraph.cc: Replace subtraction of
  pointeur minus nullptr by an explicit cast to size_t.
* spot/twa/acc.hh: Add explicit default copy assignment operator for
  rs_pair.
This commit is contained in:
Jérôme Dubois 2021-11-20 16:51:26 +01:00 • committed by Alexandre Duret-Lutz
parent 2a408bbed1
commit 81f146f648
6 changed files with 6 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/core/ngraph.cc
View file

@ -372,8 +372,7 @@ public:
size_t hash() const override
{
return
reinterpret_cast<const char*>(this) - static_cast<const char*>(nullptr);
return reinterpret_cast<size_t>(this);
}
my_state* clone() const override