| /* Verify that we can generate a suggestion of "--warn-no-abi-tag" | |
| from c.opt's "Wabi-tag" (PR driver/69265). */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "-fwarn-no-abi-tag" } */ | |
| /* { dg-error "unrecognized command-line option '-fwarn-no-abi-tag'; did you mean '--warn-no-abi-tag'?" "" { target *-*-* } 0 } */ |