| Summary: | valgrind XML output should setlinebuf() to facilitate online use | ||
|---|---|---|---|
| Product: | [Developer tools] valgrind | Reporter: | John Reiser <jreiser> |
| Component: | general | Assignee: | Julian Seward <jseward> |
| Status: | REPORTED --- | ||
| Severity: | normal | CC: | tom |
| Priority: | NOR | ||
| Version First Reported In: | 3.14 SVN | ||
| Target Milestone: | --- | ||
| Platform: | unspecified | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed/Implemented In: | ||
| Sentry Crash Report: | |||
|
Description
John Reiser
2018-06-15 15:16:55 UTC
Well I doubt it goes through stdio, as valgrind isn't linked against the C library so it has to do everything directly. Looking at it as far as I can see each call to VG_(printf_xml) winds up sending the bytes to the logging sink when it is done (or before if the buffer fills) and send_bytes_to_logging_sink just does a write to the file descriptor using the write system call. So I'm at a bit of a loss to understand where any buffering is happening... |