Re: [PATCH]PR other/70268: map one directory name (old) to another (new) in __FILE__

2016-03-20 Thread Hongxu Jia
On 03/18/2016 06:43 AM, Joseph Myers wrote: On Thu, 17 Mar 2016, Hongxu Jia wrote: + if (add_file_prefix_map(arg) < 0) + if (add_file_prefix_map (arg) < 0) I will correct them in V3. Bad formatting (missing space before '('). Likewise elsewhere in this patch. +@item -ffile-pr

Re: [PATCH]PR other/70268: map one directory name (old) to another (new) in __FILE__

2016-03-19 Thread Joseph Myers
On Thu, 17 Mar 2016, Hongxu Jia wrote: > + if (add_file_prefix_map(arg) < 0) Bad formatting (missing space before '('). Likewise elsewhere in this patch. > +@item -ffile-prefix-map=@var{old}=@var{new} > +@opindex ffile-prefix-map > +When parsing __FILE__, __BASE_FILE__ and __builtin_FILE(

[PATCH]PR other/70268: map one directory name (old) to another (new) in __FILE__

2016-03-19 Thread Hongxu Jia
Similar -fdebug-prefix-map, add option -ffile-prefix-map to map one directory name (old) to another (new) in __FILE__, __BASE_FILE__ and __builtin_FILE(). PR other/70268 * gcc/c-family/c.opt(-ffile-prefix-map=): New option. * gcc/c-family/c-opts.c: Include file-map.h (c_common_handle_option): Han