diff options
Diffstat (limited to 'include/sanitizer/common_interface_defs.h')
-rw-r--r-- | include/sanitizer/common_interface_defs.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/sanitizer/common_interface_defs.h b/include/sanitizer/common_interface_defs.h index b9c0d7311..70a5c0cd3 100644 --- a/include/sanitizer/common_interface_defs.h +++ b/include/sanitizer/common_interface_defs.h @@ -48,7 +48,6 @@ extern "C" { void __sanitizer_unaligned_store64(void *p, uint64_t x); // Record and dump coverage info. - void __sanitizer_cov(void *pc); void __sanitizer_cov_dump(); #ifdef __cplusplus |