PR middle-end/60484
* common.opt (dump_base_name_prefixed): New Variable.
* opts.c (finish_options): Don't prepend directory to x_dump_base_name
if x_dump_base_name_prefixed is already set, set it at the end.
Co-Authored-By: Marek Polacek <polacek@redhat.com>
From-SVN: r208571
+2014-03-14 Jakub Jelinek <jakub@redhat.com>
+ Marek Polacek <polacek@redhat.com>
+
+ PR middle-end/60484
+ * common.opt (dump_base_name_prefixed): New Variable.
+ * opts.c (finish_options): Don't prepend directory to x_dump_base_name
+ if x_dump_base_name_prefixed is already set, set it at the end.
+
2014-03-14 Vladimir Makarov <vmakarov@redhat.com>
PR rtl-optimization/60508
Variable
unsigned int flag_sanitize
+; Flag whether a prefix has been added to dump_base_name
+Variable
+bool dump_base_name_prefixed = false
+
###
Driver
{
enum unwind_info_type ui_except;
- if (opts->x_dump_base_name && ! IS_ABSOLUTE_PATH (opts->x_dump_base_name))
+ if (opts->x_dump_base_name
+ && ! IS_ABSOLUTE_PATH (opts->x_dump_base_name)
+ && ! opts->x_dump_base_name_prefixed)
{
/* First try to make OPTS->X_DUMP_BASE_NAME relative to the
OPTS->X_DUMP_DIR_NAME directory. Then try to make
opts->x_dump_base_name = new_dump_base_name;
}
}
+ opts->x_dump_base_name_prefixed = true;
}
/* Handle related options for unit-at-a-time, toplevel-reorder, and