diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2017-05-03 20:26:31 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2017-05-03 20:26:31 +0000 |
| commit | 285f392c555459b82baeec68b944936685546972 (patch) | |
| tree | 859b31c183aacabb13a82a7199883a2c70f70d37 /include | |
| parent | 8d8e909cdc9f4e78e1e1600497d827e1acde6cea (diff) | |
| download | src-285f392c555459b82baeec68b944936685546972.tar.gz src-285f392c555459b82baeec68b944936685546972.zip | |
Notes
Diffstat (limited to 'include')
| -rw-r--r-- | include/sanitizer/tsan_interface.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/sanitizer/tsan_interface.h b/include/sanitizer/tsan_interface.h index a0c70263895a..5ea09ab5c1ff 100644 --- a/include/sanitizer/tsan_interface.h +++ b/include/sanitizer/tsan_interface.h @@ -126,6 +126,7 @@ void __tsan_mutex_post_divert(void *addr, unsigned flags); // which is later used in read/write annotations to denote the object type // - __tsan_external_assign_tag can optionally mark a heap object with a tag void *__tsan_external_register_tag(const char *object_type); +void __tsan_external_register_header(void *tag, const char *header); void __tsan_external_assign_tag(void *addr, void *tag); void __tsan_external_read(void *addr, void *caller_pc, void *tag); void __tsan_external_write(void *addr, void *caller_pc, void *tag); |