aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2018-04-30 09:23:21 +0200
committerDmitry Vyukov <dvyukov@google.com>2018-04-30 09:23:37 +0200
commitd5b114b4015bcfb0ea2724efc01f478f6ea96b4f (patch)
treef98ea09b86576b7a5134d0d33f72b31269d583d1
parent06db3cec94c54e1cf720cdd5db72761514569d56 (diff)
executor: fix read_cover_size signature
-rw-r--r--executor/executor_akaros.cc2
-rw-r--r--executor/executor_bsd.cc2
-rw-r--r--executor/executor_fuchsia.cc2
-rw-r--r--executor/executor_windows.cc2
4 files changed, 4 insertions, 4 deletions
diff --git a/executor/executor_akaros.cc b/executor/executor_akaros.cc
index fc28fb8f7..70940dbb4 100644
--- a/executor/executor_akaros.cc
+++ b/executor/executor_akaros.cc
@@ -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;
}
diff --git a/executor/executor_bsd.cc b/executor/executor_bsd.cc
index 83956f3a9..642b6a223 100644
--- a/executor/executor_bsd.cc
+++ b/executor/executor_bsd.cc
@@ -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;
diff --git a/executor/executor_fuchsia.cc b/executor/executor_fuchsia.cc
index 7fad95f4e..506b65015 100644
--- a/executor/executor_fuchsia.cc
+++ b/executor/executor_fuchsia.cc
@@ -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;
}
diff --git a/executor/executor_windows.cc b/executor/executor_windows.cc
index 374151ef2..57c40279b 100644
--- a/executor/executor_windows.cc
+++ b/executor/executor_windows.cc
@@ -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;
}