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

fix ARM builds

Browse source 
* spot/misc/bitvect.hh (bitvect_array::at): Fix pointer cast.
* spot/twa/bddprint.cc: Adjust to use signed char* explicitly.
* spot/twaalgos/gtec/gtec.hh: Work around GCC bug #90309.
* .gitlab-ci.yml: Add raspbian build.
This commit is contained in:
Alexandre Duret-Lutz 2019-09-24 11:48:06 +02:00
parent 78f0c4418d
commit 74ceea89ee
4 changed files with 40 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

23
spot/misc/bitvect.hh
View file

@ -1,5 +1,5 @@
// -*- coding: utf-8 -*-
// Copyright (C) 2013-2018 Laboratoire de Recherche et Développement
// Copyright (C) 2013-2019 Laboratoire de Recherche et Développement
// de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -416,13 +416,6 @@ namespace spot
return size_;
}
/// Return the bit-vector at \a index.
bitvect& at(const size_t index)
{
SPOT_ASSERT(index < size_);
return *reinterpret_cast<bitvect*>(storage() + index * bvsize_);
}
void clear_all()
{
// FIXME: This could be changed into a large memset if the
@ -431,11 +424,23 @@ namespace spot
at(s).clear_all();
}
/// Return the bit-vector at \a index.
bitvect& at(const size_t index)
{
SPOT_ASSERT(index < size_);
// The double cast is to prevent -Wcast-align diagnostics
// about the fact that char* (the type of storage) has a
// smaller required alignment than bitvect*.
auto v = static_cast<void*>(storage() + index * bvsize_);
return *static_cast<bitvect*>(v);
}
/// Return the bit-vector at \a index.
const bitvect& at(const size_t index) const
{
SPOT_ASSERT(index < size_);
return *reinterpret_cast<const bitvect*>(storage() + index * bvsize_);
auto v = static_cast<const void*>(storage() + index * bvsize_);
return *static_cast<const bitvect*>(v);
}
friend SPOT_API bitvect_array* make_bitvect_array(size_t bitcount,