On Wed, 30 Jun 2021, Tobias Burnus wrote: > While looking at that issue, Jakub and I wondered whether there > should be some warning if a Driver option has a help text, > which never appears.
Migrating from hardcoded help text in gcc.c to using .opt help text for Driver options to generate --help output might be a good idea. -- Joseph S. Myers jos...@codesourcery.com