executor: fix read_cover_size signature

This commit is contained in:
Dmitry Vyukov 2018-04-30 09:23:21 +02:00
parent 06db3cec94
commit d5b114b401
4 changed files with 4 additions and 4 deletions

View File

@ -91,7 +91,7 @@ void cover_reset(thread_t* th)
{
}
uint64 read_cover_size(thread_t* th)
uint32 read_cover_size(thread_t* th)
{
return 0;
}

View File

@ -201,7 +201,7 @@ void cover_reset(thread_t* th)
#endif
}
uint64 read_cover_size(thread_t* th)
uint32 read_cover_size(thread_t* th)
{
if (!flag_cover)
return 0;

View File

@ -51,7 +51,7 @@ void cover_reset(thread_t* th)
{
}
uint64 read_cover_size(thread_t* th)
uint32 read_cover_size(thread_t* th)
{
return 0;
}

View File

@ -54,7 +54,7 @@ void cover_reset(thread_t* th)
{
}
uint64 read_cover_size(thread_t* th)
uint32 read_cover_size(thread_t* th)
{
return 0;
}