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

ltsmin: fix function pointer casts for -Wpedantic

Browse source 
* spot/ltsmin/ltsmin.cc: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-02-01 17:23:46 +01:00
parent 43d57da7f3
commit fac610ac48
1 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

8
spot/ltsmin/ltsmin.cc
View file

@ -1040,7 +1040,11 @@ namespace spot
auto sym = [&](const char* name) auto sym = [&](const char* name)
{ {
auto res = lt_dlsym(h, name); // Work around -Wpendantic complaining that pointer-to-objects
// should not be converted to pointer-to-functions (we have to
// assume they can for POSIX).
void (*res)(void*);
*reinterpret_cast<void**>(&res) = lt_dlsym(h, name);
if (res == nullptr) if (res == nullptr)
throw std::runtime_error(std::string("Failed to resolve symbol '") throw std::runtime_error(std::string("Failed to resolve symbol '")
+ name + "' in '" + file + "'."); + name + "' in '" + file + "'.");
@ -1074,7 +1078,7 @@ namespace spot
{ {
d->get_initial_state = (void (*)(void*)) d->get_initial_state = (void (*)(void*))
sym("get_initial_state"); sym("get_initial_state");
d->have_property = (int (*)()) *reinterpret_cast<void**>(&d->have_property) =
lt_dlsym(h, "have_property"); lt_dlsym(h, "have_property");
d->get_successors = (int (*)(void*, int*, TransitionCB, void*)) d->get_successors = (int (*)(void*, int*, TransitionCB, void*))
sym("get_successors"); sym("get_successors");