diff options
Diffstat (limited to 'executor/executor.h')
| -rw-r--r-- | executor/executor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/executor/executor.h b/executor/executor.h index f3f0eb53a..e4bafc21e 100644 --- a/executor/executor.h +++ b/executor/executor.h @@ -93,6 +93,7 @@ struct thread_t { uint64_t* cover_data; // Pointer to the size of coverage (stored as first word of memory). uint64_t* cover_size_ptr; + uint64_t cover_buffer[1]; // fallback coverage buffer event_t ready; event_t done; |