[Bug driver/114082] Guidelines for options are empty

2024-02-26 Thread rguenth at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114082 --- Comment #4 from Richard Biener --- Can we simply comment the entire section?

[Bug driver/114082] Guidelines for options are empty

2024-02-23 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114082 Andrew Pinski changed: What|Removed |Added CC||dmalcolm at gcc dot gnu.org,

[Bug driver/114082] Guidelines for options are empty

2024-02-23 Thread pinskia at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114082 Andrew Pinski changed: What|Removed |Added Ever confirmed|0 |1 Last reconfirmed|

[Bug driver/114082] Guidelines for options are empty

2024-02-23 Thread roland.illig at gmx dot de via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114082 --- Comment #1 from Roland Illig --- If you decide to keep the guidelines, here are a few ideas: * Use the simplest English you can, while still being precise. * Don't try to be funny. (See #114083 for a possible case)