Re: [PATCH] driver/101383 - handle -gtoggle in driver

2021-07-14 Thread Joseph Myers
This patch is OK. -- Joseph S. Myers jos...@codesourcery.com

Re: [PATCH] driver/101383 - handle -gtoggle in driver

2021-07-14 Thread Richard Biener via Gcc-patches
On Fri, Jul 9, 2021 at 11:32 AM Richard Biener wrote: > > The driver amends assembler options with for example --gdwarf-5 > when debugging is enabled but the check for that does not consider > the effect of -gtoggle which is not handled in the common option > machinery. The following alters debug

[PATCH] driver/101383 - handle -gtoggle in driver

2021-07-09 Thread Richard Biener
The driver amends assembler options with for example --gdwarf-5 when debugging is enabled but the check for that does not consider the effect of -gtoggle which is not handled in the common option machinery. The following alters debug_info_level according to -gtoggle mimicing what process_options l