This is an archive of the discontinued LLVM Phabricator instance.

[tsan] Publish the TSan external API in tsan_interface.h
ClosedPublic

Authored by kubamracek on Apr 21 2017, 10:22 AM.

Details

Summary

Let's make the TSan external API available and commented in the public header:

void *__tsan_external_register_tag(const char *object_type);
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);

Diff Detail

Event Timeline

kubamracek created this revision.Apr 21 2017, 10:22 AM
dvyukov accepted this revision.Apr 21 2017, 10:24 AM
This revision is now accepted and ready to land.Apr 21 2017, 10:24 AM
This revision was automatically updated to reflect the committed changes.