> 2017-09-18 Bob Duff <d...@adacore.com> > > * gnat.dg/validity_check.adb: New testcase.
+-- { dg-options "-cargs -O -gnatn -gnatVa -gnatws -margs" } You don't need this, just use: -- { dg-options "-O -gnatn -gnatVa -gnatws" } The -cargs/-margs trick is only needed for special switches like -dA. -- Eric Botcazou