diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:11:54 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-12-18 20:11:54 +0000 |
| commit | cdf4f3055e964bb585f294cf77cb549ead82783f (patch) | |
| tree | 7bceeca766b3fbe491245bc926a083f78c35d1de /include/sanitizer/coverage_interface.h | |
| parent | 625108084a3ec7c19c7745004c5af0ed7aa417a9 (diff) | |
Notes
Diffstat (limited to 'include/sanitizer/coverage_interface.h')
| -rw-r--r-- | include/sanitizer/coverage_interface.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/include/sanitizer/coverage_interface.h b/include/sanitizer/coverage_interface.h index 637379d47c41..081033cec8e5 100644 --- a/include/sanitizer/coverage_interface.h +++ b/include/sanitizer/coverage_interface.h @@ -22,8 +22,11 @@ extern "C" { // Record and dump coverage info. void __sanitizer_cov_dump(); - // Dump collected coverage info. Sorts pcs by module into individual - // .sancov files. + // Clear collected coverage info. + void __sanitizer_cov_reset(); + + // Dump collected coverage info. Sorts pcs by module into individual .sancov + // files. void __sanitizer_dump_coverage(const uintptr_t *pcs, uintptr_t len); #ifdef __cplusplus |