On 6/17/19 1:44 PM, Marek Polacek wrote:
+// { dg-options "-Wno-pedantic -Wno-switch-outside-range" }(You can also use __extension__ so that you don't need -Wno-pedantic.)
Using dg-options overrides the default -pedantic-errors, so you don't need __extension__ either.
If you don't mean to override the default options, use dg-additional-options instead.
Jason
