/* Specify which kind of debugging info to generate. */
extern enum debug_info_type write_symbols;
+/* Names of debug_info_type, for error messages. */
+extern const char *const debug_type_names[];
+
enum debug_info_level
{
DINFO_LEVEL_NONE, /* Write no debugging info. */
extern int quiet_flag;
-/* Print times taken by the various passes. -ftime-report. */
-
-extern int time_report;
-
/* Print memory still in use at end of compilation (which may have little
to do with peak memory consumption). -fmem-report. */
extern int flag_asynchronous_unwind_tables;
-/* Nonzero means allow for forced unwinding. */
-
-extern int flag_forced_unwind_exceptions;
-
/* Nonzero means don't place uninitialized global data in common storage
by default. */
extern int flag_unit_at_a_time;
+/* A string that's used when a random name is required. NULL means
+ to make it really random. */
+
+extern const char *flag_random_seed;
+
/* True if the given mode has a NaN representation and the treatment of
NaN operands is important. Certain optimizations, such as folding
x * 0 into x, are not correct for NaN operands, and are normally