diff options
Diffstat (limited to 'include/sanitizer/common_interface_defs.h')
| -rw-r--r-- | include/sanitizer/common_interface_defs.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/sanitizer/common_interface_defs.h b/include/sanitizer/common_interface_defs.h index 70a5c0cd3..741958f83 100644 --- a/include/sanitizer/common_interface_defs.h +++ b/include/sanitizer/common_interface_defs.h @@ -47,9 +47,6 @@ extern "C" { void __sanitizer_unaligned_store32(void *p, uint32_t x); void __sanitizer_unaligned_store64(void *p, uint64_t x); - // Record and dump coverage info. - void __sanitizer_cov_dump(); - #ifdef __cplusplus } // extern "C" #endif |