146                 const char* details) {  in log()  argument
148             location->filename, location->line, location->column, details);  in log()
197     char details[DETAIL_RENDER_SIZE];  in handle_overflow()  local
208     scnprintf(details, sizeof(details),  in handle_overflow()
214     log(&data->loc, overflow_kind, details);  in handle_overflow()
249     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
252     scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
256     log(&data->loc, "negation overflow", details);  in UBSAN_HANDLER()
265     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
266     snprintf_filtered(details, sizeof(details),  in UBSAN_HANDLER()
269     log(&data->loc, "pointer_overflow", details);  in UBSAN_HANDLER()
280     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
292     scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
296     log(&data->loc, "implicit conversion", details);  in UBSAN_HANDLER()
302     const char* details;  in UBSAN_HANDLER()  local
305             details = "zero passed to ctz";  in UBSAN_HANDLER()
308             details = "zero passed to clz";  in UBSAN_HANDLER()
311             details = "unknown builtin misuse kind";  in UBSAN_HANDLER()
313     log(&data->loc, "invalid builtin usage", details);  in UBSAN_HANDLER()
321     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
325         scnprintf(details, sizeof(details), "%s null pointer type %s",  in UBSAN_HANDLER()
329                 details, sizeof(details),  in UBSAN_HANDLER()
335                 details, sizeof(details),  in UBSAN_HANDLER()
340     log(&data->loc, "type mismatch", details);  in UBSAN_HANDLER()
373     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
381         scnprintf(details, sizeof(details), "shift amount is negative: %s",  in UBSAN_HANDLER()
384         scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
390         scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
393         scnprintf(details, sizeof(details), "%s << %s does not fit in %s",  in UBSAN_HANDLER()
397     log(&data->loc, "shift out of bounds", details);  in UBSAN_HANDLER()
406     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
409     scnprintf(details, sizeof(details), "index %s out of bounds for %s\n",  in UBSAN_HANDLER()
412     log(&data->loc, "out of bounds access", details);  in UBSAN_HANDLER()
421     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
424     scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
428     log(&data->loc, "invalid value", details);  in UBSAN_HANDLER()
447     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
450     scnprintf(details, sizeof(details), "type of the value: %s  type name: %s",  in UBSAN_HANDLER()
452     log(&data->loc, "cfi check fail abort", details);  in UBSAN_HANDLER()
461     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
464     scnprintf(details, sizeof(details), "bound %s is not positive for type %s",  in UBSAN_HANDLER()
467         "variable length array bound evaluates to non-positive value", details);  in UBSAN_HANDLER()
477     char details[DETAIL_RENDER_SIZE];  in UBSAN_HANDLER()  local
485         scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
490         scnprintf(details, sizeof(details),  in UBSAN_HANDLER()
497     log(&data->loc, "alignment assumption is incorrect", details);  in UBSAN_HANDLER()