mirror of
https://forge.sourceware.org/marek/gcc.git
synced 2026-02-22 03:47:02 -05:00
103 lines
2.5 KiB
C++
103 lines
2.5 KiB
C++
/* Utilities for implementing "dump" functions for the diagnostics subsystem.
|
|
Copyright (C) 2025-2026 Free Software Foundation, Inc.
|
|
Contributed by David Malcolm <dmalcolm@redhat.com>.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "diagnostics/dumping.h"
|
|
|
|
namespace diagnostics {
|
|
namespace dumping {
|
|
|
|
/* Emit indentation to OUTFILE for the start of a dump line. */
|
|
|
|
void
|
|
emit_indent (FILE *outfile, int indent)
|
|
{
|
|
fprintf (outfile, "%*s", indent, "");
|
|
}
|
|
|
|
/* Emit an indented line to OUTFILE showing a heading. */
|
|
|
|
void
|
|
emit_heading (FILE *outfile, int indent,
|
|
const char *text)
|
|
{
|
|
emit_indent (outfile, indent);
|
|
fprintf (outfile, "%s:\n", text);
|
|
}
|
|
|
|
/* Various functions that emit an indented line to OUTFILE
|
|
showing "label: value". */
|
|
|
|
void
|
|
emit_string_field (FILE *outfile, int indent,
|
|
const char *label, const char *value)
|
|
{
|
|
emit_indent (outfile, indent);
|
|
fprintf (outfile, "%s: %s\n", label, value);
|
|
}
|
|
|
|
void
|
|
emit_bool_field (FILE *outfile, int indent,
|
|
const char *label, bool value)
|
|
{
|
|
emit_string_field (outfile, indent, label,
|
|
value ? "true" : "false");
|
|
}
|
|
|
|
void
|
|
emit_size_t_field (FILE *outfile, int indent,
|
|
const char *label, size_t value)
|
|
{
|
|
emit_indent (outfile, indent);
|
|
fprintf (outfile, "%s: " HOST_SIZE_T_PRINT_DEC "\n", label, value);
|
|
}
|
|
|
|
void
|
|
emit_int_field (FILE *outfile, int indent,
|
|
const char *label, int value)
|
|
{
|
|
emit_indent (outfile, indent);
|
|
fprintf (outfile, "%s: %i\n", label, value);
|
|
}
|
|
|
|
void
|
|
emit_unsigned_field (FILE *outfile, int indent,
|
|
const char *label, unsigned value)
|
|
{
|
|
emit_indent (outfile, indent);
|
|
fprintf (outfile, "%s: %u\n", label, value);
|
|
}
|
|
|
|
/* Emit an indented line to OUTFILE reading "(none)". */
|
|
|
|
void
|
|
emit_none (FILE *outfile, int indent)
|
|
{
|
|
emit_indent (outfile, indent);
|
|
fprintf (outfile, "(none)\n");
|
|
}
|
|
|
|
|
|
} // namespace dumping {
|
|
} // namespace diagnostics
|