diff options
| author | Kostya Serebryany <kcc@google.com> | 2012-11-23 14:46:25 +0000 |
|---|---|---|
| committer | Kostya Serebryany <kcc@gcc.gnu.org> | 2012-11-23 14:46:25 +0000 |
| commit | e297eb600dd52acd73fb64ca45905b68f4e9b99b (patch) | |
| tree | a354102cd1c27b09eefe0b04f517d4ecac5bc566 /libsanitizer/include | |
| parent | 8ddf5c28ea6be09213739c94f9765019be476bb0 (diff) | |
| download | gcc-e297eb600dd52acd73fb64ca45905b68f4e9b99b.tar.gz | |
[libsanitizer] merge from upstream r168514
From-SVN: r193756
Diffstat (limited to 'libsanitizer/include')
| -rw-r--r-- | libsanitizer/include/sanitizer/common_interface_defs.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libsanitizer/include/sanitizer/common_interface_defs.h b/libsanitizer/include/sanitizer/common_interface_defs.h index d78d2802a2b..f6e814df6f5 100644 --- a/libsanitizer/include/sanitizer/common_interface_defs.h +++ b/libsanitizer/include/sanitizer/common_interface_defs.h @@ -68,6 +68,11 @@ extern "C" { // Tell the tools to write their reports to "path.<pid>" instead of stderr. void __sanitizer_set_report_path(const char *path) SANITIZER_INTERFACE_ATTRIBUTE; + + // Tell the tools to write their reports to given file descriptor instead of + // stderr. + void __sanitizer_set_report_fd(int fd) + SANITIZER_INTERFACE_ATTRIBUTE; } // extern "C" #endif // SANITIZER_COMMON_INTERFACE_DEFS_H |