#include "config.h" #include #include #include #include "logerr.h" /** * @tags infallible */ void vlogerr( const char *const file, const char *const function, const int lineno, FILE *restrict stream, const char *restrict format, ... ) { (void)fprintf(stream, "%s:%s:%d: ", file, function, lineno); va_list args; va_start(args, format); (void)vfprintf(stream, format, args); va_end(args); return; }