fix stream

This commit is contained in:
Alex Groce 2018-07-28 04:41:59 -07:00
parent 7b2fec9b37
commit 5529d560f3
2 changed files with 8 additions and 1 deletions

View File

@ -155,8 +155,11 @@ int vfprintf(FILE *file, const char *format, va_list args) {
DeepState_LogStream(DeepState_LogWarning);
DeepState_Log(DeepState_LogWarning,
"vfprintf with non-stdout/stderr stream follows:");
DeepState_LogVFormat(DeepState_LogInfo, format, args);
} else {
DeepState_LogVFormat(DeepState_LogCritical, format, args);
}
DeepState_LogVFormat(DeepState_LogInfo, format, args);
}
return 0;
}

View File

@ -563,6 +563,10 @@ static char DeepState_Format[DeepState_StreamSize + 1];
* into a */
void DeepState_StreamVFormat(enum DeepState_LogLevel level,
const char *format_, va_list args) {
if (DeepState_UsingLibFuzzer && (level < DeepState_LogCritical)) {
return; // just silence anything less than a critical
}
struct DeepState_VarArgs va;
va_copy(va.args, args);